Trace number 1779495

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) 2279.41 150.398

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-33-s100.cnf
MD5SUMabeb2c5a0bb0ad39fbdbdbc07efbecf7
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 variables32402
Number of clauses97556
Sum of the clauses size230290
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 262250
Number of clauses of size 335242
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.12	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779495-1244953649.cnf 
0.10/0.12	c Using SATTIMEOUT of 10000
0.10/0.12	c Using SATRAM of 2047
0.10/0.12	c Size of subset node = 16
0.10/0.12	c Variables = 32402
0.10/0.12	c Clauses = 97556
0.10/0.12	c Literals = 230290
0.10/0.12	c Reduced size:
0.10/0.12	c Variables = 32402
0.10/0.12	c Clauses = 97300
0.10/0.12	c Literals = 229582
0.10/0.12	c a2
0.20/0.23	c a1
3.70/3.74	c Independent sub-problems = 1
3.70/3.74	c Sub-problem with 32307 variables and 97300 clauses
3.70/3.74	c using permutation method 4
3.70/3.74	c count = 1
3.70/3.74	c Ordering finished 3.690 seconds
3.70/3.74	c mapped 3.720 seconds
3.70/3.74	c permuted 3.730 seconds
3.70/3.74	c about to sort
3.70/3.76	c sorted
4.70/4.73	c clauses now 97300
4.70/4.73	c init finished 4.360 seconds
4.70/4.73	c tree built 4.710 seconds
4.70/4.73	c 
4.70/4.73	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
4.70/4.73	c ---------------------------------|----------------------------------|------------------------------------------------------
4.70/4.73	c ................................ | ..........                       |                        4.8           0.0             
4.70/4.73	c ................................ | ..........                     1 |                        4.8           0.2             
4.70/4.73	c ................................ | ..........                     2 |                        4.8           0.4             
4.70/4.73	c ................................ | ..........                     3 |                        4.8           0.6             
4.70/4.73	c ................................ | ..........                     4 |                        4.8           0.8             
4.70/4.73	c ................................ | ..........                     5 |                        4.8           1.0             
4.70/4.75	c ................................ | ..........                  1000 | 5                      4.8         206.2          109
319.08/24.84	c ................................ | ..........               1260000 | 26452                200.5        6284.9      5460783
624.57/44.34	c ................................ | ..........               2108000 | 51086                400.4        5265.3     15480818
896.35/61.73	c ................................ | ..........               2845000 | 70008                600.2        4740.3     25015320
1158.41/78.51	c ................................ | ..........               3504000 | 89536                800.9        4374.9     36227632
1414.87/94.97	c ................................ | *.........               3869000 | 101231              1001.6        3862.6     46906124
1661.32/110.72	c ................................ | *.........               4184000 | 111867              1200.5        3485.4     57895880
1922.15/127.44	c ................................ | *.........               4699000 | 126874              1400.9        3354.2     69028894
2160.07/142.70	c ................................ | *.........               5080000 | 140208              1600.3        3174.4     81612760

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-1779495-1244953649/watcher-1779495-1244953649 -o /tmp/evaluation-result-1779495-1244953649/solver-1779495-1244953649 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779495-1244953649.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.22 14.48 13.46 2/189 24149
/proc/meminfo: memFree=19042828/36427776 swapFree=4024/8700
[pid=24149] ppid=24147 vsize=1540 CPUtime=0
/proc/24149/stat : 24149 (ttsth-5-0) R 24147 24149 15497 0 -1 4202496 286 0 0 0 0 0 0 0 20 0 1 0 654671308 1576960 242 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134732614 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/24149/statm: 385 242 75 177 0 207 0

[startup+0.074914 s]
/proc/loadavg: 14.22 14.48 13.46 2/189 24149
/proc/meminfo: memFree=19042828/36427776 swapFree=4024/8700
[pid=24149] ppid=24147 vsize=5732 CPUtime=0.06
/proc/24149/stat : 24149 (ttsth-5-0) R 24147 24149 15497 0 -1 4202496 1327 0 0 0 6 0 0 0 20 0 1 0 654671308 5869568 1283 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134639534 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/24149/statm: 1433 1285 75 177 0 1255 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5732

[startup+0.102928 s]
/proc/loadavg: 14.22 14.48 13.46 2/189 24149
/proc/meminfo: memFree=19042828/36427776 swapFree=4024/8700
[pid=24149] ppid=24147 vsize=8032 CPUtime=0.1
/proc/24149/stat : 24149 (ttsth-5-0) R 24147 24149 15497 0 -1 4202496 1817 0 0 0 10 0 0 0 20 0 1 0 654671308 8224768 1773 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134534118 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/24149/statm: 2008 1773 75 177 0 1830 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8032

[startup+0.302964 s]
/proc/loadavg: 14.22 14.48 13.46 2/189 24149
/proc/meminfo: memFree=19042828/36427776 swapFree=4024/8700
[pid=24149] ppid=24147 vsize=15700 CPUtime=0.3
/proc/24149/stat : 24149 (ttsth-5-0) R 24147 24149 15497 0 -1 4202496 3966 0 0 0 28 2 0 0 20 0 1 0 654671308 16076800 3729 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134732614 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/24149/statm: 3925 3731 77 177 0 3747 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 15700

[startup+0.702935 s]
/proc/loadavg: 14.22 14.48 13.46 2/189 24149
/proc/meminfo: memFree=19042828/36427776 swapFree=4024/8700
[pid=24149] ppid=24147 vsize=19148 CPUtime=0.7
/proc/24149/stat : 24149 (ttsth-5-0) R 24147 24149 15497 0 -1 4202496 4796 0 0 0 68 2 0 0 20 0 1 0 654671308 19607552 4559 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134555272 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/24149/statm: 4787 4559 77 177 0 4609 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 19148

[startup+1.50301 s]
/proc/loadavg: 14.22 14.48 13.46 2/190 24150
/proc/meminfo: memFree=19024772/36427776 swapFree=4736/27484
[pid=24149] ppid=24147 vsize=19300 CPUtime=1.5
/proc/24149/stat : 24149 (ttsth-5-0) R 24147 24149 15497 0 -1 4202496 4869 0 0 0 148 2 0 0 20 0 1 0 654671308 19763200 4632 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134600972 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/24149/statm: 4825 4632 77 177 0 4647 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 19300

[startup+3.10317 s]
/proc/loadavg: 14.22 14.48 13.46 2/190 24150
/proc/meminfo: memFree=19023980/36427776 swapFree=4768/28164
[pid=24149] ppid=24147 vsize=20296 CPUtime=3.1
/proc/24149/stat : 24149 (ttsth-5-0) R 24147 24149 15497 0 -1 4202496 5094 0 0 0 308 2 0 0 20 0 1 0 654671308 20783104 4857 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134555272 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/24149/statm: 5074 4857 77 177 0 4896 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 20296

[startup+6.3021 s]
/proc/loadavg: 13.16 14.26 13.39 17/206 24166
/proc/meminfo: memFree=18648508/36427776 swapFree=4816/405736
[pid=24149] ppid=24147 vsize=534640 CPUtime=29.1
/proc/24149/stat : 24149 (ttsth-5-0) S 24147 24149 15497 0 -1 4202496 103002 0 0 0 934 1976 0 0 20 0 17 0 654671308 547471360 102573 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/24149/statm: 133660 102575 95 177 0 133482 0
[pid=24149/tid=24151] ppid=24147 vsize=534640 CPUtime=1.54
/proc/24149/task/24151/stat : 24151 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 1016 0 0 0 148 6 0 0 20 0 17 0 654671780 547471360 102575 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24149/tid=24152] ppid=24147 vsize=534640 CPUtime=1.52
/proc/24149/task/24152/stat : 24152 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 507 0 0 0 20 132 0 0 20 0 17 0 654671780 547471360 102575 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24149/tid=24153] ppid=24147 vsize=534640 CPUtime=1.52
/proc/24149/task/24153/stat : 24153 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 487 0 0 0 16 136 0 0 20 0 17 0 654671780 547471360 102575 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24149/tid=24154] ppid=24147 vsize=534640 CPUtime=1.52
/proc/24149/task/24154/stat : 24154 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 391 0 0 0 24 128 0 0 20 0 17 0 654671780 547471360 102575 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24149/tid=24155] ppid=24147 vsize=534640 CPUtime=1.52
/proc/24149/task/24155/stat : 24155 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 435 0 0 0 32 120 0 0 20 0 17 0 654671780 547471360 102575 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24149/tid=24156] ppid=24147 vsize=534640 CPUtime=1.52
/proc/24149/task/24156/stat : 24156 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 353 0 0 0 18 134 0 0 20 0 17 0 654671780 547471360 102576 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24149/tid=24157] ppid=24147 vsize=534640 CPUtime=1.52
/proc/24149/task/24157/stat : 24157 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 450 0 0 0 28 124 0 0 20 0 17 0 654671780 547471360 102576 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24149/tid=24158] ppid=24147 vsize=534640 CPUtime=1.52
/proc/24149/task/24158/stat : 24158 (ttsth-5-0) S 24147 24149 15497 0 -1 4202560 393 0 0 0 20 132 0 0 20 0 17 0 654671780 547471360 102576 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=24149/tid=24159] ppid=24147 vsize=534640 CPUtime=1.52
/proc/24149/task/24159/stat : 24159 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 444 0 0 0 20 132 0 0 20 0 17 0 654671780 547471360 102576 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24149/tid=24160] ppid=24147 vsize=534640 CPUtime=1.52
/proc/24149/task/24160/stat : 24160 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 407 0 0 0 20 132 0 0 20 0 17 0 654671781 547471360 102577 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24149/tid=24161] ppid=24147 vsize=534640 CPUtime=1.52
/proc/24149/task/24161/stat : 24161 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 393 0 0 0 18 134 0 0 20 0 17 0 654671781 547471360 102577 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24149/tid=24162] ppid=24147 vsize=534640 CPUtime=1.52
/proc/24149/task/24162/stat : 24162 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 537 0 0 0 26 126 0 0 20 0 17 0 654671781 547471360 102577 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24149/tid=24163] ppid=24147 vsize=534640 CPUtime=1.5
/proc/24149/task/24163/stat : 24163 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 382 0 0 0 24 126 0 0 20 0 17 0 654671781 547471360 102577 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24149/tid=24164] ppid=24147 vsize=534640 CPUtime=1.48
/proc/24149/task/24164/stat : 24164 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 531 0 0 0 26 122 0 0 20 0 17 0 654671781 547471360 102577 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24149/tid=24165] ppid=24147 vsize=534640 CPUtime=1.5
/proc/24149/task/24165/stat : 24165 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 360 0 0 0 26 124 0 0 20 0 17 0 654671782 547471360 102577 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24149/tid=24166] ppid=24147 vsize=534640 CPUtime=1.5
/proc/24149/task/24166/stat : 24166 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 421 0 0 0 18 132 0 0 20 0 17 0 654671782 547471360 102577 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 29.1
Current children cumulated vsize (KiB) 534640

[startup+12.7035 s]
/proc/loadavg: 13.39 14.29 13.40 17/206 24166
/proc/meminfo: memFree=18598168/36427776 swapFree=4836/455084
[pid=24149] ppid=24147 vsize=569080 CPUtime=129.45
/proc/24149/stat : 24149 (ttsth-5-0) S 24147 24149 15497 0 -1 4202496 112659 0 0 0 3460 9485 0 0 20 0 17 0 654671308 582737920 112230 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/24149/statm: 142270 112230 95 177 0 142092 0
[pid=24149/tid=24151] ppid=24147 vsize=569080 CPUtime=7.94
/proc/24149/task/24151/stat : 24151 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 1811 0 0 0 786 8 0 0 20 0 17 0 654671780 582737920 112230 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24149/tid=24152] ppid=24147 vsize=569080 CPUtime=7.78
/proc/24149/task/24152/stat : 24152 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 1143 0 0 0 148 630 0 0 20 0 17 0 654671780 582737920 112230 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24149/tid=24153] ppid=24147 vsize=569080 CPUtime=7.8
/proc/24149/task/24153/stat : 24153 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 1214 0 0 0 154 626 0 0 20 0 17 0 654671780 582737920 112231 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24149/tid=24154] ppid=24147 vsize=569080 CPUtime=7.8
/proc/24149/task/24154/stat : 24154 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 1104 0 0 0 146 634 0 0 20 0 17 0 654671780 582737920 112231 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24149/tid=24155] ppid=24147 vsize=569080 CPUtime=7.82
/proc/24149/task/24155/stat : 24155 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 874 0 0 0 158 624 0 0 20 0 17 0 654671780 582737920 112231 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24149/tid=24156] ppid=24147 vsize=569080 CPUtime=7.78
/proc/24149/task/24156/stat : 24156 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 942 0 0 0 136 642 0 0 20 0 17 0 654671780 582737920 112231 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24149/tid=24157] ppid=24147 vsize=569080 CPUtime=7.78
/proc/24149/task/24157/stat : 24157 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 1023 0 0 0 136 642 0 0 20 0 17 0 654671780 582737920 112231 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24149/tid=24158] ppid=24147 vsize=569080 CPUtime=7.78
/proc/24149/task/24158/stat : 24158 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 1028 0 0 0 160 618 0 0 20 0 17 0 654671780 582737920 112231 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24149/tid=24159] ppid=24147 vsize=569080 CPUtime=7.78
/proc/24149/task/24159/stat : 24159 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 1002 0 0 0 140 638 0 0 20 0 17 0 654671780 582737920 112231 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134591065 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24149/tid=24160] ppid=24147 vsize=569080 CPUtime=7.8
/proc/24149/task/24160/stat : 24160 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 1123 0 0 0 154 626 0 0 20 0 17 0 654671781 582737920 112231 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24149/tid=24161] ppid=24147 vsize=569080 CPUtime=7.8
/proc/24149/task/24161/stat : 24161 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 825 0 0 0 140 640 0 0 20 0 17 0 654671781 582737920 112231 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24149/tid=24162] ppid=24147 vsize=569080 CPUtime=7.8
/proc/24149/task/24162/stat : 24162 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 1144 0 0 0 156 624 0 0 20 0 17 0 654671781 582737920 112231 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24149/tid=24163] ppid=24147 vsize=569080 CPUtime=7.78
/proc/24149/task/24163/stat : 24163 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 923 0 0 0 154 624 0 0 20 0 17 0 654671781 582737920 112231 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24149/tid=24164] ppid=24147 vsize=569080 CPUtime=7.62
/proc/24149/task/24164/stat : 24164 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 1242 0 0 0 148 614 0 0 20 0 17 0 654671781 582737920 112232 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24149/tid=24165] ppid=24147 vsize=569080 CPUtime=7.78
/proc/24149/task/24165/stat : 24165 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 860 0 0 0 148 630 0 0 20 0 17 0 654671782 582737920 112232 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24149/tid=24166] ppid=24147 vsize=569080 CPUtime=7.8
/proc/24149/task/24166/stat : 24166 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 904 0 0 0 154 626 0 0 20 0 17 0 654671782 582737920 112232 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 129.45
Current children cumulated vsize (KiB) 569080

[startup+25.5035 s]
/proc/loadavg: 13.97 14.37 13.44 17/206 24166
/proc/meminfo: memFree=18519852/36427776 swapFree=4836/533920
[pid=24149] ppid=24147 vsize=649048 CPUtime=329.99
/proc/24149/stat : 24149 (ttsth-5-0) S 24147 24149 15497 0 -1 4202496 132259 0 0 0 10682 22317 0 0 20 0 17 0 654671308 664625152 131830 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/24149/statm: 162262 131830 95 177 0 162084 0
[pid=24149/tid=24151] ppid=24147 vsize=649048 CPUtime=20.74
/proc/24149/task/24151/stat : 24151 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 4870 0 0 0 2060 14 0 0 20 0 17 0 654671780 664625152 131830 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134561499 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24149/tid=24152] ppid=24147 vsize=649048 CPUtime=20.32
/proc/24149/task/24152/stat : 24152 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 2578 0 0 0 588 1444 0 0 20 0 17 0 654671780 664625152 131830 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24149/tid=24153] ppid=24147 vsize=649048 CPUtime=20.36
/proc/24149/task/24153/stat : 24153 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 2528 0 0 0 610 1426 0 0 20 0 17 0 654671780 664625152 131830 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24149/tid=24154] ppid=24147 vsize=649048 CPUtime=20.34
/proc/24149/task/24154/stat : 24154 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 2107 0 0 0 516 1518 0 0 20 0 17 0 654671780 664625152 131830 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134552720 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24149/tid=24155] ppid=24147 vsize=649048 CPUtime=20.36
/proc/24149/task/24155/stat : 24155 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 1600 0 0 0 474 1562 0 0 20 0 17 0 654671780 664625152 131830 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24149/tid=24156] ppid=24147 vsize=649048 CPUtime=20.26
/proc/24149/task/24156/stat : 24156 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 2074 0 0 0 564 1462 0 0 20 0 17 0 654671780 664625152 131830 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24149/tid=24157] ppid=24147 vsize=649048 CPUtime=20.24
/proc/24149/task/24157/stat : 24157 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 1736 0 0 0 494 1530 0 0 20 0 17 0 654671780 664625152 131830 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24149/tid=24158] ppid=24147 vsize=649048 CPUtime=20.3
/proc/24149/task/24158/stat : 24158 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 2695 0 0 0 566 1464 0 0 20 0 17 0 654671780 664625152 131830 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24149/tid=24159] ppid=24147 vsize=649048 CPUtime=20.32
/proc/24149/task/24159/stat : 24159 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 2388 0 0 0 546 1486 0 0 20 0 17 0 654671780 664625152 131830 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24149/tid=24160] ppid=24147 vsize=649048 CPUtime=20.34
/proc/24149/task/24160/stat : 24160 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 1615 0 0 0 538 1496 0 0 20 0 17 0 654671781 664625152 131830 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24149/tid=24161] ppid=24147 vsize=649048 CPUtime=20.32
/proc/24149/task/24161/stat : 24161 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 1899 0 0 0 496 1536 0 0 20 0 17 0 654671781 664625152 131830 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24149/tid=24162] ppid=24147 vsize=649048 CPUtime=20.32
/proc/24149/task/24162/stat : 24162 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 1513 0 0 0 556 1476 0 0 20 0 17 0 654671781 664625152 131830 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24149/tid=24163] ppid=24147 vsize=649048 CPUtime=20.3
/proc/24149/task/24163/stat : 24163 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 1733 0 0 0 500 1530 0 0 20 0 17 0 654671781 664625152 131830 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24149/tid=24164] ppid=24147 vsize=649048 CPUtime=19.9
/proc/24149/task/24164/stat : 24164 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 2264 0 0 0 580 1410 0 0 20 0 17 0 654671781 664625152 131830 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24149/tid=24165] ppid=24147 vsize=649048 CPUtime=20.3
/proc/24149/task/24165/stat : 24165 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 1405 0 0 0 510 1520 0 0 20 0 17 0 654671782 664625152 131830 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24149/tid=24166] ppid=24147 vsize=649048 CPUtime=20.38
/proc/24149/task/24166/stat : 24166 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 3756 0 0 0 636 1402 0 0 20 0 17 0 654671782 664625152 131830 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 329.99
Current children cumulated vsize (KiB) 649048

[startup+51.1027 s]
/proc/loadavg: 14.66 14.50 13.51 16/206 24166
/proc/meminfo: memFree=18294092/36427776 swapFree=4836/759460
[pid=24149] ppid=24147 vsize=888460 CPUtime=730.64
/proc/24149/stat : 24149 (ttsth-5-0) S 24147 24149 15497 0 -1 4202496 189548 0 0 0 28240 44824 0 0 20 0 17 0 654671308 909783040 189119 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/24149/statm: 222115 189119 95 177 0 221937 0
[pid=24149/tid=24151] ppid=24147 vsize=888460 CPUtime=46.3
/proc/24149/task/24151/stat : 24151 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 27667 0 0 0 4600 30 0 0 20 0 17 0 654671780 909783040 189120 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24149/tid=24152] ppid=24147 vsize=888460 CPUtime=45.38
/proc/24149/task/24152/stat : 24152 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 7379 0 0 0 1640 2898 0 0 20 0 17 0 654671780 909783040 189120 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24149/tid=24153] ppid=24147 vsize=888460 CPUtime=45.44
/proc/24149/task/24153/stat : 24153 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 3365 0 0 0 1578 2966 0 0 20 0 17 0 654671780 909783040 189120 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24149/tid=24154] ppid=24147 vsize=888460 CPUtime=45.42
/proc/24149/task/24154/stat : 24154 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 2951 0 0 0 1452 3090 0 0 20 0 17 0 654671780 909783040 189120 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24149/tid=24155] ppid=24147 vsize=888460 CPUtime=45.46
/proc/24149/task/24155/stat : 24155 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 3371 0 0 0 1420 3126 0 0 20 0 17 0 654671780 909783040 189120 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24149/tid=24156] ppid=24147 vsize=888460 CPUtime=45.3
/proc/24149/task/24156/stat : 24156 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 5741 0 0 0 1658 2872 0 0 20 0 17 0 654671780 909783040 189120 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24149/tid=24157] ppid=24147 vsize=888460 CPUtime=45.22
/proc/24149/task/24157/stat : 24157 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 3461 0 0 0 1412 3110 0 0 20 0 17 0 654671780 909783040 189120 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24149/tid=24158] ppid=24147 vsize=888460 CPUtime=45.16
/proc/24149/task/24158/stat : 24158 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 4516 0 0 0 1376 3140 0 0 20 0 17 0 654671780 909783040 189120 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24149/tid=24159] ppid=24147 vsize=888460 CPUtime=45.36
/proc/24149/task/24159/stat : 24159 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 5452 0 0 0 1594 2942 0 0 20 0 17 0 654671780 909783040 189120 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24149/tid=24160] ppid=24147 vsize=888460 CPUtime=45.36
/proc/24149/task/24160/stat : 24160 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 3897 0 0 0 1610 2926 0 0 20 0 17 0 654671781 909783040 189120 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134550999 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24149/tid=24161] ppid=24147 vsize=888460 CPUtime=45.28
/proc/24149/task/24161/stat : 24161 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 3655 0 0 0 1424 3104 0 0 20 0 17 0 654671781 909783040 189120 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24149/tid=24162] ppid=24147 vsize=888460 CPUtime=45.38
/proc/24149/task/24162/stat : 24162 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 5975 0 0 0 1644 2894 0 0 20 0 17 0 654671781 909783040 189120 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134590245 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24149/tid=24163] ppid=24147 vsize=888460 CPUtime=45.36
/proc/24149/task/24163/stat : 24163 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 2787 0 0 0 1508 3028 0 0 20 0 17 0 654671781 909783040 189120 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24149/tid=24164] ppid=24147 vsize=888460 CPUtime=44.5
/proc/24149/task/24164/stat : 24164 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 4766 0 0 0 1692 2758 0 0 20 0 17 0 654671781 909783040 189120 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24149/tid=24165] ppid=24147 vsize=888460 CPUtime=45.36
/proc/24149/task/24165/stat : 24165 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 3229 0 0 0 1476 3060 0 0 20 0 17 0 654671782 909783040 189120 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24149/tid=24166] ppid=24147 vsize=888460 CPUtime=45.48
/proc/24149/task/24166/stat : 24166 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 5839 0 0 0 1708 2840 0 0 20 0 17 0 654671782 909783040 189120 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 730.64
Current children cumulated vsize (KiB) 888460

[startup+102.316 s]
/proc/loadavg: 15.25 14.68 13.62 17/206 24166
/proc/meminfo: memFree=17736484/36427776 swapFree=4836/1316244
[pid=24149] ppid=24147 vsize=1470560 CPUtime=1530.39
/proc/24149/stat : 24149 (ttsth-5-0) S 24147 24149 15497 0 -1 4202496 327880 0 0 0 80474 72565 0 0 20 0 17 0 654671308 1505853440 327451 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/24149/statm: 367640 327452 95 177 0 367462 0
[pid=24149/tid=24151] ppid=24147 vsize=1470560 CPUtime=97.5
/proc/24149/task/24151/stat : 24151 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 48998 0 0 0 9694 56 0 0 20 0 17 0 654671780 1505853440 327453 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134549920 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24149/tid=24152] ppid=24147 vsize=1470560 CPUtime=95.65
/proc/24149/task/24152/stat : 24152 (ttsth-5-0) S 24147 24149 15497 0 -1 4202560 17579 0 0 0 5158 4407 0 0 20 0 17 0 654671780 1505853440 327454 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=24149/tid=24153] ppid=24147 vsize=1470560 CPUtime=95.4
/proc/24149/task/24153/stat : 24153 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 6752 0 0 0 4377 5163 0 0 20 0 17 0 654671780 1505853440 327454 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24149/tid=24154] ppid=24147 vsize=1470560 CPUtime=95.67
/proc/24149/task/24154/stat : 24154 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 10123 0 0 0 4682 4885 0 0 20 0 17 0 654671780 1505853440 327454 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24149/tid=24155] ppid=24147 vsize=1470560 CPUtime=95.72
/proc/24149/task/24155/stat : 24155 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 10984 0 0 0 4747 4825 0 0 20 0 17 0 654671780 1505853440 327454 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134749343 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24149/tid=24156] ppid=24147 vsize=1470560 CPUtime=95.13
/proc/24149/task/24156/stat : 24156 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 14752 0 0 0 4835 4678 0 0 20 0 17 0 654671780 1505853440 327454 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24149/tid=24157] ppid=24147 vsize=1470560 CPUtime=95.3
/proc/24149/task/24157/stat : 24157 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 15171 0 0 0 4855 4675 0 0 20 0 17 0 654671780 1505853440 327454 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24149/tid=24158] ppid=24147 vsize=1470560 CPUtime=94.63
/proc/24149/task/24158/stat : 24158 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 10038 0 0 0 4152 5311 0 0 20 0 17 0 654671780 1505853440 327454 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24149/tid=24159] ppid=24147 vsize=1470560 CPUtime=95.13
/proc/24149/task/24159/stat : 24159 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 14669 0 0 0 4670 4843 0 0 20 0 17 0 654671780 1505853440 327455 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24149/tid=24160] ppid=24147 vsize=1470560 CPUtime=95.26
/proc/24149/task/24160/stat : 24160 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 9434 0 0 0 4768 4758 0 0 20 0 17 0 654671781 1505853440 327455 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134680285 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24149/tid=24161] ppid=24147 vsize=1470560 CPUtime=95.02
/proc/24149/task/24161/stat : 24161 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 9511 0 0 0 4357 5145 0 0 20 0 17 0 654671781 1505853440 327455 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134680503 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24149/tid=24162] ppid=24147 vsize=1470560 CPUtime=95.62
/proc/24149/task/24162/stat : 24162 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 22573 0 0 0 5134 4428 0 0 20 0 17 0 654671781 1505853440 327455 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24149/tid=24163] ppid=24147 vsize=1470560 CPUtime=95.06
/proc/24149/task/24163/stat : 24163 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 7797 0 0 0 4374 5132 0 0 20 0 17 0 654671781 1505853440 327455 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134680346 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24149/tid=24164] ppid=24147 vsize=1470560 CPUtime=93.4
/proc/24149/task/24164/stat : 24164 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 10434 0 0 0 4696 4644 0 0 20 0 17 0 654671781 1505853440 327455 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24149/tid=24165] ppid=24147 vsize=1470560 CPUtime=95.45
/proc/24149/task/24165/stat : 24165 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 10210 0 0 0 4652 4893 0 0 20 0 17 0 654671782 1505853440 327455 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134749345 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24149/tid=24166] ppid=24147 vsize=1470560 CPUtime=95.67
/proc/24149/task/24166/stat : 24166 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 13360 0 0 0 4881 4686 0 0 20 0 17 0 654671782 1505853440 327455 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1530.39
Current children cumulated vsize (KiB) 1470560



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+150.204 s]
/proc/loadavg: 15.67 14.88 13.75 17/206 24166
/proc/meminfo: memFree=17141036/36427776 swapFree=4836/1910636
[pid=24149] ppid=24147 vsize=2096740 CPUtime=2279.1
/proc/24149/stat : 24149 (ttsth-5-0) S 24147 24149 15497 0 -1 4202496 475984 0 0 0 131172 96738 0 0 20 0 17 0 654671308 2147061760 475555 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/24149/statm: 524185 475555 95 177 0 524007 0
[pid=24149/tid=24151] ppid=24147 vsize=2096740 CPUtime=145.39
/proc/24149/task/24151/stat : 24151 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 78559 0 0 0 14451 88 0 0 20 0 17 0 654671780 2147061760 475555 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134680727 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24149/tid=24152] ppid=24147 vsize=2096740 CPUtime=142.48
/proc/24149/task/24152/stat : 24152 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 26940 0 0 0 8201 6047 0 0 20 0 17 0 654671780 2147061760 475555 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24149/tid=24153] ppid=24147 vsize=2096740 CPUtime=142.11
/proc/24149/task/24153/stat : 24153 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 13495 0 0 0 7216 6995 0 0 20 0 17 0 654671780 2147061760 475555 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134680336 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24149/tid=24154] ppid=24147 vsize=2096740 CPUtime=142.41
/proc/24149/task/24154/stat : 24154 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 15551 0 0 0 7473 6768 0 0 20 0 17 0 654671780 2147061760 475555 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24149/tid=24155] ppid=24147 vsize=2096740 CPUtime=142.88
/proc/24149/task/24155/stat : 24155 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 16839 0 0 0 8142 6146 0 0 20 0 17 0 654671780 2147061760 475555 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134749345 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24149/tid=24156] ppid=24147 vsize=2096740 CPUtime=142.05
/proc/24149/task/24156/stat : 24156 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 25421 0 0 0 8202 6003 0 0 20 0 17 0 654671780 2147061760 475555 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134591217 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24149/tid=24157] ppid=24147 vsize=2096740 CPUtime=141.74
/proc/24149/task/24157/stat : 24157 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 25155 0 0 0 7732 6442 0 0 20 0 17 0 654671780 2147061760 475555 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134592184 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24149/tid=24158] ppid=24147 vsize=2096740 CPUtime=141.22
/proc/24149/task/24158/stat : 24158 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 14636 0 0 0 7116 7006 0 0 20 0 17 0 654671780 2147061760 475556 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24149/tid=24159] ppid=24147 vsize=2096740 CPUtime=142.03
/proc/24149/task/24159/stat : 24159 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 21537 0 0 0 7959 6244 0 0 20 0 17 0 654671780 2147061760 475556 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24149/tid=24160] ppid=24147 vsize=2096740 CPUtime=141.62
/proc/24149/task/24160/stat : 24160 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 14877 0 0 0 7539 6623 0 0 20 0 17 0 654671781 2147061760 475556 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24149/tid=24161] ppid=24147 vsize=2096740 CPUtime=142.03
/proc/24149/task/24161/stat : 24161 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 18128 0 0 0 7755 6448 0 0 20 0 17 0 654671781 2147061760 475556 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134591171 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24149/tid=24162] ppid=24147 vsize=2096740 CPUtime=142.31
/proc/24149/task/24162/stat : 24162 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 35303 0 0 0 8078 6153 0 0 20 0 17 0 654671781 2147061760 475556 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24149/tid=24163] ppid=24147 vsize=2096740 CPUtime=141.61
/proc/24149/task/24163/stat : 24163 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 14083 0 0 0 7197 6964 0 0 20 0 17 0 654671781 2147061760 475556 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24149/tid=24164] ppid=24147 vsize=2096740 CPUtime=139.15
/proc/24149/task/24164/stat : 24164 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 16855 0 0 0 7581 6334 0 0 20 0 17 0 654671781 2147061760 475556 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134591171 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24149/tid=24165] ppid=24147 vsize=2096740 CPUtime=142.62
/proc/24149/task/24165/stat : 24165 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 21305 0 0 0 8133 6129 0 0 20 0 17 0 654671782 2147061760 475556 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134591217 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24149/tid=24166] ppid=24147 vsize=2096740 CPUtime=142.62
/proc/24149/task/24166/stat : 24166 (ttsth-5-0) R 24147 24149 15497 0 -1 4202560 21803 0 0 0 7951 6311 0 0 20 0 17 0 654671782 2147061760 475557 18446744073709551615 134512640 135237372 4288669904 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 2279.1
Current children cumulated vsize (KiB) 2096740

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

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

[startup+150.324 s]
/proc/loadavg: 15.67 14.88 13.75 17/206 24166
/proc/meminfo: memFree=17141036/36427776 swapFree=4836/1910636
[pid=24149] ppid=24147 vsize=0 CPUtime=2279.34
/proc/24149/stat : 24149 (ttsth-5-0) Z 24147 24149 15497 0 -1 4203532 476024 0 0 0 131182 96752 0 0 20 0 2 0 654671308 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/24149/statm: 0 0 0 0 0 0 0
[pid=24149/tid=24166] ppid=24147 vsize=0 CPUtime=142.71
/proc/24149/task/24166/stat : 24166 (ttsth-5-0) R 24147 24149 15497 0 -1 4203588 21803 0 0 0 7951 6320 0 0 20 0 2 0 654671782 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 2279.34
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 150.398
CPU time (s): 2279.41
CPU user time (s): 1311.83
CPU system time (s): 967.585
CPU usage (%): 1515.59
Max. virtual memory (cumulated for all children) (KiB): 2096740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1311.83
system time used= 967.584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 476024
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= 320611
involuntary context switches= 5442

runsolver used 0.872054 second user time and 2.19214 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 06:27:29
IDJOB=1779495
IDBENCH=70865
IDSOLVER=634
FILE ID=xenhost3-49/1779495-1244953649
PBS_JOBID=
Free space on /tmp= 7023 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-33-s100.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779495-1244953649/watcher-1779495-1244953649 -o /tmp/evaluation-result-1779495-1244953649/solver-1779495-1244953649 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779495-1244953649.cnf

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

MD5SUM BENCH= abeb2c5a0bb0ad39fbdbdbc07efbecf7
RANDOM SEED= 288956877

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:      19042952 kB
Buffers:        482616 kB
Cached:       14118084 kB
SwapCached:          0 kB
Active:        4129096 kB
Inactive:     10480108 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1912 kB
Writeback:           0 kB
AnonPages:        8748 kB
Mapped:           3356 kB
Slab:           721752 kB
SReclaimable:   694836 kB
SUnreclaim:      26916 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    31444 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 06:30:02