Trace number 1779975

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) 3285.8 215.809

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l41_lambda.cnf
MD5SUM50760ceab82aaa514e253121456f71f6
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark33.89
Satisfiable
(Un)Satisfiability was proved
Number of variables29245
Number of clauses144673
Sum of the clauses size416481
Maximum clause length9
Minimum clause length1
Number of clauses of size 13878
Number of clauses of size 236799
Number of clauses of size 383760
Number of clauses of size 413947
Number of clauses of size 56166
Number of clauses of size over 5123

Solver Data 

0.20/0.27	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779975-1244958480.cnf 
0.20/0.27	c Using SATTIMEOUT of 10000
0.20/0.27	c Using SATRAM of 2047
0.20/0.27	c Size of subset node = 16
0.20/0.27	c Variables = 29245
0.20/0.27	c Clauses = 144673
0.20/0.27	c Literals = 416481
0.20/0.27	c Reduced size:
0.20/0.27	c Variables = 29245
0.20/0.27	c Clauses = 129790
0.20/0.27	c Literals = 379098
0.20/0.27	c a2
0.40/0.50	c a1
7.50/7.56	c Independent sub-problems = 1
7.50/7.56	c Sub-problem with 24459 variables and 129790 clauses
7.50/7.56	c using permutation method 4
7.50/7.56	c count = 1
7.50/7.56	c Ordering finished 7.510 seconds
7.50/7.56	c mapped 7.550 seconds
7.50/7.56	c permuted 7.550 seconds
7.50/7.56	c about to sort
7.50/7.60	c sorted
9.28/9.34	c clauses now 129790
9.28/9.34	c init finished 8.060 seconds
9.28/9.34	c tree built 9.320 seconds
9.28/9.34	c 
9.28/9.34	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
9.28/9.34	c ---------------------------------|----------------------------------|------------------------------------------------------
9.28/9.34	c ................................ | ..........                       |                        9.3           0.0            3
9.28/9.34	c ................................ | ..........                     1 |                        9.4           0.1            3
9.28/9.34	c ****************................ | ..........                     2 | 1                      9.4           0.2            3
9.28/9.34	c ****************................ | ..........                     3 | 1                      9.4           0.3            3
9.28/9.34	c ****************................ | ..........                     4 | 1                      9.4           0.4            3
9.28/9.34	c ****************................ | ..........                     5 | 1                      9.4           0.5            3
9.28/9.34	c ****************................ | ..........                     6 | 1                      9.4           0.6            3
11.58/9.53	c ****************................ | ..........                  1000 | 3                     10.8          92.6         1685
255.70/25.15	c ****************................ | ..........                623000 | 20069                200.1        3114.2      6463380
470.46/38.78	c ****************................ | ..........                943000 | 26481                400.0        2357.4     13681709
678.14/51.84	c ****************................ | ..........               1136000 | 35736                601.8        1887.7     20508974
881.37/64.64	c ****************................ | ..........               1296000 | 44452                800.7        1618.6     27290181
1084.96/77.49	c ****************................ | *.........               1454000 | 51128               1000.8        1452.8     33822946
1288.71/90.22	c ****************................ | *.........               1605000 | 57984               1200.1        1337.3     40511437
1491.94/103.08	c ****************................ | *.........               1762000 | 63922               1400.2        1258.4     46874055
1696.94/115.98	c ****************................ | *.........               1941000 | 69195               1600.9        1212.5     53136405
1900.70/128.74	c ****************................ | *.........               2106000 | 75364               1800.6        1169.6     58986402
2102.71/141.46	c ****************................ | **........               2251000 | 78553               2000.6        1125.2     64660863

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-1779975-1244958480/watcher-1779975-1244958480 -o /tmp/evaluation-result-1779975-1244958480/solver-1779975-1244958480 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779975-1244958480.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: 15.99 15.77 15.27 2/184 26336
/proc/meminfo: memFree=19041584/36427776 swapFree=4428/7772
[pid=26336] ppid=26334 vsize=1548 CPUtime=0
/proc/26336/stat : 26336 (ttsth-5-0) R 26334 26336 15497 0 -1 4202496 275 0 0 0 0 0 0 0 20 0 1 0 655154392 1585152 232 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134732614 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/26336/statm: 387 232 75 177 0 209 0

[startup+0.022193 s]
/proc/loadavg: 15.99 15.77 15.27 2/184 26336
/proc/meminfo: memFree=19041584/36427776 swapFree=4428/7772
[pid=26336] ppid=26334 vsize=2228 CPUtime=0.02
/proc/26336/stat : 26336 (ttsth-5-0) R 26334 26336 15497 0 -1 4202496 460 0 0 0 2 0 0 0 20 0 1 0 655154392 2281472 417 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134732614 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/26336/statm: 557 418 75 177 0 379 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2228

[startup+0.10219 s]
/proc/loadavg: 15.99 15.77 15.27 2/184 26336
/proc/meminfo: memFree=19041584/36427776 swapFree=4428/7772
[pid=26336] ppid=26334 vsize=7128 CPUtime=0.1
/proc/26336/stat : 26336 (ttsth-5-0) R 26334 26336 15497 0 -1 4202496 1643 0 0 0 10 0 0 0 20 0 1 0 655154392 7299072 1600 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134732614 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/26336/statm: 1782 1601 75 177 0 1604 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7128

[startup+0.302246 s]
/proc/loadavg: 15.99 15.77 15.27 2/184 26336
/proc/meminfo: memFree=19041584/36427776 swapFree=4428/7772
[pid=26336] ppid=26334 vsize=18196 CPUtime=0.3
/proc/26336/stat : 26336 (ttsth-5-0) R 26334 26336 15497 0 -1 4202496 4266 0 0 0 28 2 0 0 20 0 1 0 655154392 18632704 4223 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134732535 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/26336/statm: 4549 4229 76 177 0 4371 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 18196

[startup+0.702245 s]
/proc/loadavg: 15.99 15.77 15.27 2/184 26336
/proc/meminfo: memFree=19041584/36427776 swapFree=4428/7772
[pid=26336] ppid=26334 vsize=22220 CPUtime=0.7
/proc/26336/stat : 26336 (ttsth-5-0) R 26334 26336 15497 0 -1 4202496 5793 0 0 0 68 2 0 0 20 0 1 0 655154392 22753280 5363 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134732614 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/26336/statm: 5555 5363 77 177 0 5377 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 22220

[startup+1.5023 s]
/proc/loadavg: 15.99 15.77 15.27 2/185 26337
/proc/meminfo: memFree=19018248/36427776 swapFree=4252/32336
[pid=26336] ppid=26334 vsize=24868 CPUtime=1.5
/proc/26336/stat : 26336 (ttsth-5-0) R 26334 26336 15497 0 -1 4202496 6413 0 0 0 146 4 0 0 20 0 1 0 655154392 25464832 5983 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134555272 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/26336/statm: 6217 5983 77 177 0 6039 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 24868

[startup+3.10245 s]
/proc/loadavg: 15.99 15.77 15.27 2/185 26337
/proc/meminfo: memFree=19017452/36427776 swapFree=4084/32552
[pid=26336] ppid=26334 vsize=25000 CPUtime=3.1
/proc/26336/stat : 26336 (ttsth-5-0) R 26334 26336 15497 0 -1 4202496 6473 0 0 0 306 4 0 0 20 0 1 0 655154392 25600000 6043 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134600721 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/26336/statm: 6250 6043 77 177 0 6072 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 25000

[startup+6.30271 s]
/proc/loadavg: 14.79 15.53 15.19 2/185 26337
/proc/meminfo: memFree=19015836/36427776 swapFree=4620/33200
[pid=26336] ppid=26334 vsize=25132 CPUtime=6.3
/proc/26336/stat : 26336 (ttsth-5-0) R 26334 26336 15497 0 -1 4202496 6484 0 0 0 626 4 0 0 20 0 1 0 655154392 25735168 6054 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134600707 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/26336/statm: 6283 6054 77 177 0 6105 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 25132

[startup+12.703 s]
/proc/loadavg: 13.69 15.28 15.11 17/201 26353
/proc/meminfo: memFree=18708412/36427776 swapFree=4692/342764
[pid=26336] ppid=26334 vsize=464648 CPUtime=61.37
/proc/26336/stat : 26336 (ttsth-5-0) S 26334 26336 15497 0 -1 4202496 85758 0 0 0 3195 2942 0 0 20 0 17 0 655154392 475799552 85074 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/26336/statm: 116162 85074 95 177 0 115984 0
[pid=26336/tid=26338] ppid=26334 vsize=464648 CPUtime=3.28
/proc/26336/task/26338/stat : 26338 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 1033 0 0 0 308 20 0 0 20 0 17 0 655155326 475799552 85074 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26336/tid=26339] ppid=26334 vsize=464648 CPUtime=3.24
/proc/26336/task/26339/stat : 26339 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 564 0 0 0 130 194 0 0 20 0 17 0 655155326 475799552 85075 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26336/tid=26340] ppid=26334 vsize=464648 CPUtime=3.24
/proc/26336/task/26340/stat : 26340 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 540 0 0 0 126 198 0 0 20 0 17 0 655155326 475799552 85075 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26336/tid=26341] ppid=26334 vsize=464648 CPUtime=3.24
/proc/26336/task/26341/stat : 26341 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 451 0 0 0 130 194 0 0 20 0 17 0 655155326 475799552 85075 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26336/tid=26342] ppid=26334 vsize=464648 CPUtime=3.26
/proc/26336/task/26342/stat : 26342 (ttsth-5-0) S 26334 26336 15497 0 -1 4202560 533 0 0 0 136 190 0 0 20 0 17 0 655155326 475799552 85075 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=26336/tid=26343] ppid=26334 vsize=464648 CPUtime=3.24
/proc/26336/task/26343/stat : 26343 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 491 0 0 0 138 186 0 0 20 0 17 0 655155326 475799552 85075 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26336/tid=26344] ppid=26334 vsize=464648 CPUtime=3.26
/proc/26336/task/26344/stat : 26344 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 672 0 0 0 156 170 0 0 20 0 17 0 655155326 475799552 85075 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26336/tid=26345] ppid=26334 vsize=464648 CPUtime=3.24
/proc/26336/task/26345/stat : 26345 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 572 0 0 0 124 200 0 0 20 0 17 0 655155326 475799552 85075 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26336/tid=26346] ppid=26334 vsize=464648 CPUtime=3.24
/proc/26336/task/26346/stat : 26346 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 614 0 0 0 132 192 0 0 20 0 17 0 655155327 475799552 85075 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134549877 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26336/tid=26347] ppid=26334 vsize=464648 CPUtime=3.22
/proc/26336/task/26347/stat : 26347 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 574 0 0 0 120 202 0 0 20 0 17 0 655155327 475799552 85076 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26336/tid=26348] ppid=26334 vsize=464648 CPUtime=3.24
/proc/26336/task/26348/stat : 26348 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 525 0 0 0 126 198 0 0 20 0 17 0 655155327 475799552 85076 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134680503 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26336/tid=26349] ppid=26334 vsize=464648 CPUtime=3.26
/proc/26336/task/26349/stat : 26349 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 443 0 0 0 136 190 0 0 20 0 17 0 655155327 475799552 85076 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26336/tid=26350] ppid=26334 vsize=464648 CPUtime=3.24
/proc/26336/task/26350/stat : 26350 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 526 0 0 0 114 210 0 0 20 0 17 0 655155327 475799552 85076 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134552734 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26336/tid=26351] ppid=26334 vsize=464648 CPUtime=3.2
/proc/26336/task/26351/stat : 26351 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 529 0 0 0 124 196 0 0 20 0 17 0 655155327 475799552 85076 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26336/tid=26352] ppid=26334 vsize=464648 CPUtime=3.26
/proc/26336/task/26352/stat : 26352 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 688 0 0 0 150 176 0 0 20 0 17 0 655155327 475799552 85076 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26336/tid=26353] ppid=26334 vsize=464648 CPUtime=3.24
/proc/26336/task/26353/stat : 26353 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 516 0 0 0 130 194 0 0 20 0 17 0 655155327 475799552 85076 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 61.37
Current children cumulated vsize (KiB) 464648

[startup+25.5026 s]
/proc/loadavg: 14.13 15.30 15.12 17/201 26353
/proc/meminfo: memFree=18607136/36427776 swapFree=4692/443912
[pid=26336] ppid=26334 vsize=568732 CPUtime=261.97
/proc/26336/stat : 26336 (ttsth-5-0) S 26334 26336 15497 0 -1 4202496 110791 0 0 0 16395 9802 0 0 20 0 17 0 655154392 582381568 110107 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/26336/statm: 142183 110107 95 177 0 142005 0
[pid=26336/tid=26338] ppid=26334 vsize=568732 CPUtime=16.08
/proc/26336/task/26338/stat : 26338 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 4284 0 0 0 1582 26 0 0 20 0 17 0 655155326 582381568 110107 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134562391 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26336/tid=26339] ppid=26334 vsize=568732 CPUtime=15.76
/proc/26336/task/26339/stat : 26339 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 2047 0 0 0 910 666 0 0 20 0 17 0 655155326 582381568 110107 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26336/tid=26340] ppid=26334 vsize=568732 CPUtime=15.7
/proc/26336/task/26340/stat : 26340 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 1946 0 0 0 890 680 0 0 20 0 17 0 655155326 582381568 110107 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26336/tid=26341] ppid=26334 vsize=568732 CPUtime=15.76
/proc/26336/task/26341/stat : 26341 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 2124 0 0 0 932 644 0 0 20 0 17 0 655155326 582381568 110107 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134680214 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26336/tid=26342] ppid=26334 vsize=568732 CPUtime=15.8
/proc/26336/task/26342/stat : 26342 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 1909 0 0 0 946 634 0 0 20 0 17 0 655155326 582381568 110107 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26336/tid=26343] ppid=26334 vsize=568732 CPUtime=15.78
/proc/26336/task/26343/stat : 26343 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 2165 0 0 0 958 620 0 0 20 0 17 0 655155326 582381568 110107 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26336/tid=26344] ppid=26334 vsize=568732 CPUtime=15.82
/proc/26336/task/26344/stat : 26344 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 1946 0 0 0 980 602 0 0 20 0 17 0 655155326 582381568 110107 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134680326 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26336/tid=26345] ppid=26334 vsize=568732 CPUtime=15.76
/proc/26336/task/26345/stat : 26345 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 2162 0 0 0 888 688 0 0 20 0 17 0 655155326 582381568 110107 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26336/tid=26346] ppid=26334 vsize=568732 CPUtime=15.78
/proc/26336/task/26346/stat : 26346 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 2410 0 0 0 924 654 0 0 20 0 17 0 655155327 582381568 110107 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26336/tid=26347] ppid=26334 vsize=568732 CPUtime=15.76
/proc/26336/task/26347/stat : 26347 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 1955 0 0 0 896 680 0 0 20 0 17 0 655155327 582381568 110107 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26336/tid=26348] ppid=26334 vsize=568732 CPUtime=15.8
/proc/26336/task/26348/stat : 26348 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 1683 0 0 0 930 650 0 0 20 0 17 0 655155327 582381568 110107 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134549872 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26336/tid=26349] ppid=26334 vsize=568732 CPUtime=15.82
/proc/26336/task/26349/stat : 26349 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 1933 0 0 0 926 656 0 0 20 0 17 0 655155327 582381568 110108 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134590146 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26336/tid=26350] ppid=26334 vsize=568732 CPUtime=15.84
/proc/26336/task/26350/stat : 26350 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 1921 0 0 0 934 650 0 0 20 0 17 0 655155327 582381568 110108 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26336/tid=26351] ppid=26334 vsize=568732 CPUtime=15.52
/proc/26336/task/26351/stat : 26351 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 1784 0 0 0 924 628 0 0 20 0 17 0 655155327 582381568 110108 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26336/tid=26352] ppid=26334 vsize=568732 CPUtime=15.76
/proc/26336/task/26352/stat : 26352 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 2074 0 0 0 946 630 0 0 20 0 17 0 655155327 582381568 110108 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26336/tid=26353] ppid=26334 vsize=568732 CPUtime=15.74
/proc/26336/task/26353/stat : 26353 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 1961 0 0 0 914 660 0 0 20 0 17 0 655155327 582381568 110108 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134549923 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 261.97
Current children cumulated vsize (KiB) 568732

[startup+51.1082 s]
/proc/loadavg: 14.74 15.36 15.14 17/201 26353
/proc/meminfo: memFree=18384732/36427776 swapFree=4692/665376
[pid=26336] ppid=26334 vsize=805720 CPUtime=667.1
/proc/26336/stat : 26336 (ttsth-5-0) S 26334 26336 15497 0 -1 4202496 166193 0 0 0 54108 12602 0 0 20 0 17 0 655154392 825057280 165509 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/26336/statm: 201430 165509 95 177 0 201252 0
[pid=26336/tid=26338] ppid=26334 vsize=805720 CPUtime=41.67
/proc/26336/task/26338/stat : 26338 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 9230 0 0 0 4133 34 0 0 20 0 17 0 655155326 825057280 165509 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26336/tid=26339] ppid=26334 vsize=805720 CPUtime=41.09
/proc/26336/task/26339/stat : 26339 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 5722 0 0 0 3255 854 0 0 20 0 17 0 655155326 825057280 165509 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26336/tid=26340] ppid=26334 vsize=805720 CPUtime=41.05
/proc/26336/task/26340/stat : 26340 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 6000 0 0 0 3219 886 0 0 20 0 17 0 655155326 825057280 165509 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134590368 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26336/tid=26341] ppid=26334 vsize=805720 CPUtime=41.11
/proc/26336/task/26341/stat : 26341 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 5137 0 0 0 3315 796 0 0 20 0 17 0 655155326 825057280 165509 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26336/tid=26342] ppid=26334 vsize=805720 CPUtime=41.13
/proc/26336/task/26342/stat : 26342 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 5305 0 0 0 3291 822 0 0 20 0 17 0 655155326 825057280 165509 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26336/tid=26343] ppid=26334 vsize=805720 CPUtime=41.11
/proc/26336/task/26343/stat : 26343 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 5435 0 0 0 3301 810 0 0 20 0 17 0 655155326 825057280 165509 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134590248 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26336/tid=26344] ppid=26334 vsize=805720 CPUtime=41.13
/proc/26336/task/26344/stat : 26344 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 5352 0 0 0 3319 794 0 0 20 0 17 0 655155326 825057280 165510 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26336/tid=26345] ppid=26334 vsize=805720 CPUtime=41.11
/proc/26336/task/26345/stat : 26345 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 5676 0 0 0 3239 872 0 0 20 0 17 0 655155326 825057280 165510 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134592217 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26336/tid=26346] ppid=26334 vsize=805720 CPUtime=41.13
/proc/26336/task/26346/stat : 26346 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 6163 0 0 0 3257 856 0 0 20 0 17 0 655155327 825057280 165510 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26336/tid=26347] ppid=26334 vsize=805720 CPUtime=41.12
/proc/26336/task/26347/stat : 26347 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 5851 0 0 0 3250 862 0 0 20 0 17 0 655155327 825057280 165510 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134593217 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26336/tid=26348] ppid=26334 vsize=805720 CPUtime=41.11
/proc/26336/task/26348/stat : 26348 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 4996 0 0 0 3279 832 0 0 20 0 17 0 655155327 825057280 165511 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26336/tid=26349] ppid=26334 vsize=805720 CPUtime=41.22
/proc/26336/task/26349/stat : 26349 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 3964 0 0 0 3304 818 0 0 20 0 17 0 655155327 825057280 165511 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134591529 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26336/tid=26350] ppid=26334 vsize=805720 CPUtime=41.22
/proc/26336/task/26350/stat : 26350 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 4029 0 0 0 3288 834 0 0 20 0 17 0 655155327 825057280 165511 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134590238 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26336/tid=26351] ppid=26334 vsize=805720 CPUtime=40.42
/proc/26336/task/26351/stat : 26351 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 4238 0 0 0 3234 808 0 0 20 0 17 0 655155327 825057280 165511 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26336/tid=26352] ppid=26334 vsize=805720 CPUtime=41.03
/proc/26336/task/26352/stat : 26352 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 5379 0 0 0 3273 830 0 0 20 0 17 0 655155327 825057280 165511 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26336/tid=26353] ppid=26334 vsize=805720 CPUtime=41.04
/proc/26336/task/26353/stat : 26353 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 7229 0 0 0 3242 862 0 0 20 0 17 0 655155327 825057280 165511 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 667.1
Current children cumulated vsize (KiB) 805720

[startup+102.314 s]
/proc/loadavg: 15.45 15.45 15.19 17/201 26353
/proc/meminfo: memFree=17958120/36427776 swapFree=4692/1092816
[pid=26336] ppid=26334 vsize=1257844 CPUtime=1481
/proc/26336/stat : 26336 (ttsth-5-0) S 26334 26336 15497 0 -1 4202496 272180 0 0 0 132406 15694 0 0 20 0 17 0 655154392 1288032256 271496 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/26336/statm: 314461 271497 95 177 0 314283 0
[pid=26336/tid=26338] ppid=26334 vsize=1257844 CPUtime=92.88
/proc/26336/task/26338/stat : 26338 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 21008 0 0 0 9236 52 0 0 20 0 17 0 655155326 1288032256 271497 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26336/tid=26339] ppid=26334 vsize=1257844 CPUtime=91.99
/proc/26336/task/26339/stat : 26339 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 12669 0 0 0 8131 1068 0 0 20 0 17 0 655155326 1288032256 271497 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26336/tid=26340] ppid=26334 vsize=1257844 CPUtime=91.98
/proc/26336/task/26340/stat : 26340 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 15171 0 0 0 8120 1078 0 0 20 0 17 0 655155326 1288032256 271497 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26336/tid=26341] ppid=26334 vsize=1257844 CPUtime=91.97
/proc/26336/task/26341/stat : 26341 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 10074 0 0 0 8165 1032 0 0 20 0 17 0 655155326 1288032256 271497 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26336/tid=26342] ppid=26334 vsize=1257844 CPUtime=92.08
/proc/26336/task/26342/stat : 26342 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 16026 0 0 0 8196 1012 0 0 20 0 17 0 655155326 1288032256 271497 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134591171 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26336/tid=26343] ppid=26334 vsize=1257844 CPUtime=92
/proc/26336/task/26343/stat : 26343 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 10685 0 0 0 8190 1010 0 0 20 0 17 0 655155326 1288032256 271498 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26336/tid=26344] ppid=26334 vsize=1257844 CPUtime=92.03
/proc/26336/task/26344/stat : 26344 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 11043 0 0 0 8193 1010 0 0 20 0 17 0 655155326 1288032256 271498 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26336/tid=26345] ppid=26334 vsize=1257844 CPUtime=91.98
/proc/26336/task/26345/stat : 26345 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 12070 0 0 0 8124 1074 0 0 20 0 17 0 655155326 1288032256 271498 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26336/tid=26346] ppid=26334 vsize=1257844 CPUtime=92.01
/proc/26336/task/26346/stat : 26346 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 12214 0 0 0 8133 1068 0 0 20 0 17 0 655155327 1288032256 271498 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26336/tid=26347] ppid=26334 vsize=1257844 CPUtime=92.04
/proc/26336/task/26347/stat : 26347 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 11636 0 0 0 8150 1054 0 0 20 0 17 0 655155327 1288032256 271498 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26336/tid=26348] ppid=26334 vsize=1257844 CPUtime=92.01
/proc/26336/task/26348/stat : 26348 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 10446 0 0 0 8135 1066 0 0 20 0 17 0 655155327 1288032256 271498 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134593204 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26336/tid=26349] ppid=26334 vsize=1257844 CPUtime=92.19
/proc/26336/task/26349/stat : 26349 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 7351 0 0 0 8193 1026 0 0 20 0 17 0 655155327 1288032256 271498 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26336/tid=26350] ppid=26334 vsize=1257844 CPUtime=92.16
/proc/26336/task/26350/stat : 26350 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 7795 0 0 0 8176 1040 0 0 20 0 17 0 655155327 1288032256 271498 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26336/tid=26351] ppid=26334 vsize=1257844 CPUtime=90.42
/proc/26336/task/26351/stat : 26351 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 8196 0 0 0 8064 978 0 0 20 0 17 0 655155327 1288032256 271498 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134590318 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26336/tid=26352] ppid=26334 vsize=1257844 CPUtime=91.91
/proc/26336/task/26352/stat : 26352 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 12794 0 0 0 8153 1038 0 0 20 0 17 0 655155327 1288032256 271498 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26336/tid=26353] ppid=26334 vsize=1257844 CPUtime=91.89
/proc/26336/task/26353/stat : 26353 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 16517 0 0 0 8133 1056 0 0 20 0 17 0 655155327 1288032256 271498 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481
Current children cumulated vsize (KiB) 1257844

[startup+162.306 s]
/proc/loadavg: 15.76 15.54 15.23 17/201 26358
/proc/meminfo: memFree=17523788/36427776 swapFree=4692/1524980
[pid=26336] ppid=26334 vsize=1720156 CPUtime=2435.65
/proc/26336/stat : 26336 (ttsth-5-0) S 26334 26336 15497 0 -1 4202496 380902 0 0 0 225010 18555 0 0 20 0 17 0 655154392 1761439744 380218 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/26336/statm: 430039 380219 95 177 0 429861 0
[pid=26336/tid=26338] ppid=26334 vsize=1720156 CPUtime=152.86
/proc/26336/task/26338/stat : 26338 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 30796 0 0 0 15212 74 0 0 20 0 17 0 655155326 1761439744 380219 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26336/tid=26339] ppid=26334 vsize=1720156 CPUtime=151.64
/proc/26336/task/26339/stat : 26339 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 21649 0 0 0 13898 1266 0 0 20 0 17 0 655155326 1761439744 380219 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26336/tid=26340] ppid=26334 vsize=1720156 CPUtime=151.67
/proc/26336/task/26340/stat : 26340 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 21520 0 0 0 13915 1252 0 0 20 0 17 0 655155326 1761439744 380219 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26336/tid=26341] ppid=26334 vsize=1720156 CPUtime=151.64
/proc/26336/task/26341/stat : 26341 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 17260 0 0 0 13906 1258 0 0 20 0 17 0 655155326 1761439744 380219 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134593362 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26336/tid=26342] ppid=26334 vsize=1720156 CPUtime=151.87
/proc/26336/task/26342/stat : 26342 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 27296 0 0 0 14013 1174 0 0 20 0 17 0 655155326 1761439744 380219 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26336/tid=26343] ppid=26334 vsize=1720156 CPUtime=151.7
/proc/26336/task/26343/stat : 26343 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 16121 0 0 0 13960 1210 0 0 20 0 17 0 655155326 1761439744 380219 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26336/tid=26344] ppid=26334 vsize=1720156 CPUtime=151.78
/proc/26336/task/26344/stat : 26344 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 16802 0 0 0 14006 1172 0 0 20 0 17 0 655155326 1761439744 380219 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26336/tid=26345] ppid=26334 vsize=1720156 CPUtime=151.7
/proc/26336/task/26345/stat : 26345 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 19258 0 0 0 13912 1258 0 0 20 0 17 0 655155326 1761439744 380219 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26336/tid=26346] ppid=26334 vsize=1720156 CPUtime=151.75
/proc/26336/task/26346/stat : 26346 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 17360 0 0 0 13941 1234 0 0 20 0 17 0 655155327 1761439744 380219 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26336/tid=26347] ppid=26334 vsize=1720156 CPUtime=151.73
/proc/26336/task/26347/stat : 26347 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 19837 0 0 0 13923 1250 0 0 20 0 17 0 655155327 1761439744 380219 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134549872 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26336/tid=26348] ppid=26334 vsize=1720156 CPUtime=151.72
/proc/26336/task/26348/stat : 26348 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 15229 0 0 0 13892 1280 0 0 20 0 17 0 655155327 1761439744 380220 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26336/tid=26349] ppid=26334 vsize=1720156 CPUtime=151.93
/proc/26336/task/26349/stat : 26349 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 11684 0 0 0 13973 1220 0 0 20 0 17 0 655155327 1761439744 380220 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26336/tid=26350] ppid=26334 vsize=1720156 CPUtime=151.92
/proc/26336/task/26350/stat : 26350 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 14652 0 0 0 13960 1232 0 0 20 0 17 0 655155327 1761439744 380220 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26336/tid=26351] ppid=26334 vsize=1720156 CPUtime=149.06
/proc/26336/task/26351/stat : 26351 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 12434 0 0 0 13754 1152 0 0 20 0 17 0 655155327 1761439744 380220 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134562328 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26336/tid=26352] ppid=26334 vsize=1720156 CPUtime=151.6
/proc/26336/task/26352/stat : 26352 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 19627 0 0 0 13916 1244 0 0 20 0 17 0 655155327 1761439744 380220 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26336/tid=26353] ppid=26334 vsize=1720156 CPUtime=151.54
/proc/26336/task/26353/stat : 26353 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 22892 0 0 0 13908 1246 0 0 20 0 17 0 655155327 1761439744 380220 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2435.65
Current children cumulated vsize (KiB) 1720156



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+215.616 s]
/proc/loadavg: 15.83 15.60 15.27 18/201 26358
/proc/meminfo: memFree=17166668/36427776 swapFree=4692/1881904
[pid=26336] ppid=26334 vsize=2096768 CPUtime=3285.47
/proc/26336/stat : 26336 (ttsth-5-0) S 26334 26336 15497 0 -1 4202496 469026 0 0 0 308651 19896 0 0 20 0 17 0 655154392 2147090432 468342 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/26336/statm: 524192 468342 95 177 0 524014 0
[pid=26336/tid=26338] ppid=26334 vsize=2096768 CPUtime=206.16
/proc/26336/task/26338/stat : 26338 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 39750 0 0 0 20520 96 0 0 20 0 17 0 655155326 2147090432 468342 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26336/tid=26339] ppid=26334 vsize=2096768 CPUtime=204.77
/proc/26336/task/26339/stat : 26339 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 28994 0 0 0 19099 1378 0 0 20 0 17 0 655155326 2147090432 468342 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134680285 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26336/tid=26340] ppid=26334 vsize=2096768 CPUtime=204.83
/proc/26336/task/26340/stat : 26340 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 27156 0 0 0 19131 1352 0 0 20 0 17 0 655155326 2147090432 468342 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26336/tid=26341] ppid=26334 vsize=2096768 CPUtime=204.89
/proc/26336/task/26341/stat : 26341 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 24974 0 0 0 19157 1332 0 0 20 0 17 0 655155326 2147090432 468342 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26336/tid=26342] ppid=26334 vsize=2096768 CPUtime=205.08
/proc/26336/task/26342/stat : 26342 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 33672 0 0 0 19240 1268 0 0 20 0 17 0 655155326 2147090432 468342 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26336/tid=26343] ppid=26334 vsize=2096768 CPUtime=204.83
/proc/26336/task/26343/stat : 26343 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 19990 0 0 0 19185 1298 0 0 20 0 17 0 655155326 2147090432 468342 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26336/tid=26344] ppid=26334 vsize=2096768 CPUtime=204.97
/proc/26336/task/26344/stat : 26344 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 20077 0 0 0 19247 1250 0 0 20 0 17 0 655155326 2147090432 468342 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134562413 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26336/tid=26345] ppid=26334 vsize=2096768 CPUtime=204.89
/proc/26336/task/26345/stat : 26345 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 26863 0 0 0 19159 1330 0 0 20 0 17 0 655155326 2147090432 468342 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26336/tid=26346] ppid=26334 vsize=2096768 CPUtime=204.93
/proc/26336/task/26346/stat : 26346 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 21956 0 0 0 19177 1316 0 0 20 0 17 0 655155327 2147090432 468342 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134591529 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26336/tid=26347] ppid=26334 vsize=2096768 CPUtime=204.91
/proc/26336/task/26347/stat : 26347 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 25837 0 0 0 19133 1358 0 0 20 0 17 0 655155327 2147090432 468342 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134591529 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26336/tid=26348] ppid=26334 vsize=2096768 CPUtime=204.89
/proc/26336/task/26348/stat : 26348 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 19907 0 0 0 19121 1368 0 0 20 0 17 0 655155327 2147090432 468342 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26336/tid=26349] ppid=26334 vsize=2096768 CPUtime=205.12
/proc/26336/task/26349/stat : 26349 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 15194 0 0 0 19212 1300 0 0 20 0 17 0 655155327 2147090432 468342 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26336/tid=26350] ppid=26334 vsize=2096768 CPUtime=205.11
/proc/26336/task/26350/stat : 26350 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 19386 0 0 0 19201 1310 0 0 20 0 17 0 655155327 2147090432 468342 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26336/tid=26351] ppid=26334 vsize=2096768 CPUtime=201.21
/proc/26336/task/26351/stat : 26351 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 15621 0 0 0 18879 1242 0 0 20 0 17 0 655155327 2147090432 468342 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134591072 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26336/tid=26352] ppid=26334 vsize=2096768 CPUtime=204.71
/proc/26336/task/26352/stat : 26352 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 25514 0 0 0 19121 1350 0 0 20 0 17 0 655155327 2147090432 468342 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26336/tid=26353] ppid=26334 vsize=2096768 CPUtime=204.69
/proc/26336/task/26353/stat : 26353 (ttsth-5-0) R 26334 26336 15497 0 -1 4202560 27648 0 0 0 19153 1316 0 0 20 0 17 0 655155327 2147090432 468342 18446744073709551615 134512640 135237372 4291398512 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3285.47
Current children cumulated vsize (KiB) 2096768

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

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

[startup+215.801 s]
/proc/loadavg: 15.83 15.60 15.27 18/201 26358
/proc/meminfo: memFree=17166668/36427776 swapFree=4692/1881904
[pid=26336] ppid=26334 vsize=0 CPUtime=3285.77
/proc/26336/stat : 26336 (ttsth-5-0) Z 26334 26336 15497 0 -1 4203532 469036 0 0 0 308663 19914 0 0 20 0 2 0 655154392 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/26336/statm: 0 0 0 0 0 0 0
[pid=26336/tid=26351] ppid=26334 vsize=0 CPUtime=201.39
/proc/26336/task/26351/stat : 26351 (ttsth-5-0) R 26334 26336 15497 0 -1 4203588 15621 0 0 0 18881 1258 0 0 20 0 2 0 655155327 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 3285.77
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 215.809
CPU time (s): 3285.8
CPU user time (s): 3086.65
CPU system time (s): 199.148
CPU usage (%): 1522.55
Max. virtual memory (cumulated for all children) (KiB): 2096768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3086.65
system time used= 199.148
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469036
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= 227022
involuntary context switches= 6977

runsolver used 0.920057 second user time and 3.1882 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 07:48:00
IDJOB=1779975
IDBENCH=70944
IDSOLVER=634
FILE ID=xenhost3-49/1779975-1244958480
PBS_JOBID=
Free space on /tmp= 7021 MiB

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

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

MD5SUM BENCH= 50760ceab82aaa514e253121456f71f6
RANDOM SEED= 260255139

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:      19041584 kB
Buffers:        484468 kB
Cached:       14119792 kB
SwapCached:          0 kB
Active:        4130140 kB
Inactive:     10481912 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            3344 kB
Writeback:           0 kB
AnonPages:        7108 kB
Mapped:           3764 kB
Slab:           721740 kB
SReclaimable:   694932 kB
SUnreclaim:      26808 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29856 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7021 MiB
End job on xenhost3-49 at 2009-06-14 07:51:38