Trace number 1778865

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) 668.062 42.6951

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitsrotate/
countbitsrotate016.cnf
MD5SUMcb3e934c498918abbc8bcf7f964c0d21
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark38.73
Satisfiable
(Un)Satisfiability was proved
Number of variables2087
Number of clauses6212
Sum of the clauses size14492
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 24140
Number of clauses of size 32070
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1778865-1244946879.cnf 
0.00/0.01	c Using SATTIMEOUT of 10000
0.00/0.01	c Using SATRAM of 2047
0.00/0.01	c Size of subset node = 16
0.00/0.01	c Variables = 2087
0.00/0.01	c Clauses = 6212
0.00/0.01	c Literals = 14492
0.00/0.01	c Reduced size:
0.00/0.01	c Variables = 2087
0.00/0.01	c Clauses = 6208
0.00/0.01	c Literals = 14485
0.00/0.01	c a2
0.00/0.01	c a1
0.10/0.19	c Independent sub-problems = 1
0.10/0.19	c Sub-problem with 2085 variables and 6208 clauses
0.10/0.19	c using permutation method 4
0.10/0.19	c count = 2
0.10/0.19	c Ordering finished 0.180 seconds
0.10/0.19	c mapped 0.180 seconds
0.10/0.19	c permuted 0.180 seconds
0.10/0.19	c about to sort
0.10/0.19	c sorted
0.20/0.24	c clauses now 6208
0.20/0.24	c init finished 0.220 seconds
0.20/0.24	c tree built 0.230 seconds
0.20/0.24	c 
0.20/0.24	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.20/0.24	c ---------------------------------|----------------------------------|------------------------------------------------------
0.20/0.24	c ................................ | ..........                       |                        0.2           0.0             
0.20/0.24	c ................................ | ..........                     1 |                        0.2           4.3             
0.20/0.24	c ................................ | ..........                     2 |                        0.2           8.7             
0.20/0.24	c ................................ | ..........                     3 |                        0.2          13.0             
0.20/0.24	c ................................ | ..........                     4 |                        0.2          17.4             
0.20/0.24	c ................................ | ..........                     5 |                        0.2          21.7             
0.20/0.25	c ................................ | ..........                  1000 | 11                     0.3        3846.2          539
224.70/14.63	c ................................ | ..........                247000 | 18941                203.7        1212.4     17001429
422.65/27.19	c ................................ | ..........                326000 | 25809                400.4         814.2     27930714
626.13/40.00	c ................................ | ..........                409000 | 32921                602.2         679.2     38931909

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-1778865-1244946879/watcher-1778865-1244946879 -o /tmp/evaluation-result-1778865-1244946879/solver-1778865-1244946879 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1778865-1244946879.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: 1.29 1.41 4.61 2/184 21779
/proc/meminfo: memFree=19047068/36427776 swapFree=3716/7816
[pid=21779] ppid=21777 vsize=1808 CPUtime=0
/proc/21779/stat : 21779 (ttsth-5-0) R 21777 21779 15497 0 -1 4202496 334 0 0 0 0 0 0 0 20 0 1 0 653994226 1851392 291 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134732614 0 0 1 0 0 0 0 17 12 0 0 0 0 0
/proc/21779/statm: 452 291 76 177 0 274 0

[startup+0.061321 s]
/proc/loadavg: 1.29 1.41 4.61 2/184 21779
/proc/meminfo: memFree=19047068/36427776 swapFree=3716/7816
[pid=21779] ppid=21777 vsize=2204 CPUtime=0.06
/proc/21779/stat : 21779 (ttsth-5-0) R 21777 21779 15497 0 -1 4202496 428 0 0 0 6 0 0 0 20 0 1 0 653994226 2256896 385 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134555272 0 0 1 0 0 0 0 17 12 0 0 0 0 0
/proc/21779/statm: 551 385 77 177 0 373 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2204

[startup+0.101312 s]
/proc/loadavg: 1.29 1.41 4.61 2/184 21779
/proc/meminfo: memFree=19047068/36427776 swapFree=3716/7816
[pid=21779] ppid=21777 vsize=2204 CPUtime=0.1
/proc/21779/stat : 21779 (ttsth-5-0) R 21777 21779 15497 0 -1 4202496 432 0 0 0 10 0 0 0 20 0 1 0 653994226 2256896 389 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134555272 0 0 1 0 0 0 0 17 12 0 0 0 0 0
/proc/21779/statm: 551 389 77 177 0 373 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2204

[startup+0.307194 s]
/proc/loadavg: 1.29 1.41 4.61 2/184 21779
/proc/meminfo: memFree=19047068/36427776 swapFree=3716/7816
[pid=21779] ppid=21777 vsize=162628 CPUtime=0.98
/proc/21779/stat : 21779 (ttsth-5-0) S 21777 21779 15497 0 -1 4202496 6948 0 0 0 28 70 0 0 20 0 17 0 653994226 166531072 6905 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/21779/statm: 40690 6908 95 177 0 40512 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 162628

[startup+0.705227 s]
/proc/loadavg: 1.29 1.41 4.61 2/184 21779
/proc/meminfo: memFree=19047068/36427776 swapFree=3716/7816
[pid=21779] ppid=21777 vsize=170604 CPUtime=6.75
/proc/21779/stat : 21779 (ttsth-5-0) S 21777 21779 15497 0 -1 4202496 9986 0 0 0 174 501 0 0 20 0 17 0 653994226 174698496 9943 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/21779/statm: 42651 9945 95 177 0 42473 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 170604

[startup+1.50496 s]
/proc/loadavg: 1.29 1.41 4.61 17/201 21796
/proc/meminfo: memFree=19002088/36427776 swapFree=4620/57152
[pid=21779] ppid=21777 vsize=202816 CPUtime=18.22
/proc/21779/stat : 21779 (ttsth-5-0) S 21777 21779 15497 0 -1 4202496 18017 0 0 0 476 1346 0 0 20 0 17 0 653994226 207683584 17974 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/21779/statm: 50704 17975 95 177 0 50526 0
[pid=21779/tid=21781] ppid=21777 vsize=202816 CPUtime=1.24
/proc/21779/task/21781/stat : 21781 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 3864 0 0 0 108 16 0 0 20 0 17 0 653994251 207683584 17976 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21779/tid=21782] ppid=21777 vsize=202816 CPUtime=1.18
/proc/21779/task/21782/stat : 21782 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 375 0 0 0 28 90 0 0 20 0 17 0 653994251 207683584 17976 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21779/tid=21783] ppid=21777 vsize=202816 CPUtime=1.18
/proc/21779/task/21783/stat : 21783 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 403 0 0 0 26 92 0 0 20 0 17 0 653994251 207683584 17977 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21779/tid=21784] ppid=21777 vsize=202816 CPUtime=1.16
/proc/21779/task/21784/stat : 21784 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 486 0 0 0 16 100 0 0 20 0 17 0 653994251 207683584 17977 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21779/tid=21785] ppid=21777 vsize=202816 CPUtime=0.94
/proc/21779/task/21785/stat : 21785 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 478 0 0 0 10 84 0 0 20 0 17 0 653994251 207683584 17977 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21779/tid=21786] ppid=21777 vsize=202816 CPUtime=1.16
/proc/21779/task/21786/stat : 21786 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 471 0 0 0 22 94 0 0 20 0 17 0 653994251 207683584 17979 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21779/tid=21787] ppid=21777 vsize=202816 CPUtime=1.18
/proc/21779/task/21787/stat : 21787 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 418 0 0 0 18 100 0 0 20 0 17 0 653994251 207683584 17979 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21779/tid=21788] ppid=21777 vsize=202816 CPUtime=0.94
/proc/21779/task/21788/stat : 21788 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 641 0 0 0 22 72 0 0 20 0 17 0 653994251 207683584 17980 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21779/tid=21789] ppid=21777 vsize=202816 CPUtime=1.16
/proc/21779/task/21789/stat : 21789 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 489 0 0 0 20 96 0 0 20 0 17 0 653994251 207683584 17980 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21779/tid=21790] ppid=21777 vsize=202816 CPUtime=1.18
/proc/21779/task/21790/stat : 21790 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 924 0 0 0 48 70 0 0 20 0 17 0 653994251 207683584 17980 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21779/tid=21791] ppid=21777 vsize=202816 CPUtime=1.16
/proc/21779/task/21791/stat : 21791 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 499 0 0 0 22 94 0 0 20 0 17 0 653994251 207683584 17981 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21779/tid=21792] ppid=21777 vsize=202816 CPUtime=1.18
/proc/21779/task/21792/stat : 21792 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 492 0 0 0 26 92 0 0 20 0 17 0 653994251 207683584 17982 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21779/tid=21793] ppid=21777 vsize=202816 CPUtime=1.14
/proc/21779/task/21793/stat : 21793 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 584 0 0 0 30 84 0 0 20 0 17 0 653994251 207683584 17984 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21779/tid=21794] ppid=21777 vsize=202816 CPUtime=1.16
/proc/21779/task/21794/stat : 21794 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 515 0 0 0 16 100 0 0 20 0 17 0 653994251 207683584 17984 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21779/tid=21795] ppid=21777 vsize=202816 CPUtime=0.8
/proc/21779/task/21795/stat : 21795 (ttsth-5-0) S 21777 21779 15497 0 -1 4202560 301 0 0 0 12 68 0 0 20 0 17 0 653994251 207683584 17986 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=21779/tid=21796] ppid=21777 vsize=202816 CPUtime=1.12
/proc/21779/task/21796/stat : 21796 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 802 0 0 0 26 86 0 0 20 0 17 0 653994255 207683584 17986 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134591065 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 18.22
Current children cumulated vsize (KiB) 202816

[startup+3.10391 s]
/proc/loadavg: 1.29 1.41 4.61 16/201 21796
/proc/meminfo: memFree=18949680/36427776 swapFree=4692/109436
[pid=21779] ppid=21777 vsize=281704 CPUtime=43.67
/proc/21779/stat : 21779 (ttsth-5-0) S 21777 21779 15497 0 -1 4202496 37591 0 0 0 2429 1938 0 0 20 0 17 0 653994226 288464896 37548 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/21779/statm: 70426 37548 95 177 0 70248 0
[pid=21779/tid=21781] ppid=21777 vsize=281704 CPUtime=2.84
/proc/21779/task/21781/stat : 21781 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 6055 0 0 0 264 20 0 0 20 0 17 0 653994251 288464896 37549 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134519936 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21779/tid=21782] ppid=21777 vsize=281704 CPUtime=2.72
/proc/21779/task/21782/stat : 21782 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 1281 0 0 0 140 132 0 0 20 0 17 0 653994251 288464896 37549 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134549905 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21779/tid=21783] ppid=21777 vsize=281704 CPUtime=2.76
/proc/21779/task/21783/stat : 21783 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 1475 0 0 0 146 130 0 0 20 0 17 0 653994251 288464896 37549 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21779/tid=21784] ppid=21777 vsize=281704 CPUtime=2.78
/proc/21779/task/21784/stat : 21784 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 1694 0 0 0 138 140 0 0 20 0 17 0 653994251 288464896 37549 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21779/tid=21785] ppid=21777 vsize=281704 CPUtime=2.5
/proc/21779/task/21785/stat : 21785 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 1921 0 0 0 134 116 0 0 20 0 17 0 653994251 288464896 37550 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21779/tid=21786] ppid=21777 vsize=281704 CPUtime=2.7
/proc/21779/task/21786/stat : 21786 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 1564 0 0 0 138 132 0 0 20 0 17 0 653994251 288464896 37550 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21779/tid=21787] ppid=21777 vsize=281704 CPUtime=2.76
/proc/21779/task/21787/stat : 21787 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 1344 0 0 0 134 142 0 0 20 0 17 0 653994251 288464896 37550 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21779/tid=21788] ppid=21777 vsize=281704 CPUtime=2.54
/proc/21779/task/21788/stat : 21788 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 2094 0 0 0 148 106 0 0 20 0 17 0 653994251 288464896 37551 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21779/tid=21789] ppid=21777 vsize=281704 CPUtime=2.76
/proc/21779/task/21789/stat : 21789 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 1560 0 0 0 140 136 0 0 20 0 17 0 653994251 288464896 37551 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21779/tid=21790] ppid=21777 vsize=281704 CPUtime=2.78
/proc/21779/task/21790/stat : 21790 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 2127 0 0 0 166 112 0 0 20 0 17 0 653994251 288464896 37551 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21779/tid=21791] ppid=21777 vsize=281704 CPUtime=2.8
/proc/21779/task/21791/stat : 21791 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 1745 0 0 0 150 130 0 0 20 0 17 0 653994251 288464896 37551 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21779/tid=21792] ppid=21777 vsize=281704 CPUtime=2.78
/proc/21779/task/21792/stat : 21792 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 1672 0 0 0 146 132 0 0 20 0 17 0 653994251 288464896 37553 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21779/tid=21793] ppid=21777 vsize=281704 CPUtime=2.7
/proc/21779/task/21793/stat : 21793 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 1744 0 0 0 146 124 0 0 20 0 17 0 653994251 288464896 37553 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21779/tid=21794] ppid=21777 vsize=281704 CPUtime=2.76
/proc/21779/task/21794/stat : 21794 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 1621 0 0 0 138 138 0 0 20 0 17 0 653994251 288464896 37553 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21779/tid=21795] ppid=21777 vsize=281704 CPUtime=2.4
/proc/21779/task/21795/stat : 21795 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 1483 0 0 0 130 110 0 0 20 0 17 0 653994251 288464896 37554 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21779/tid=21796] ppid=21777 vsize=281704 CPUtime=2.68
/proc/21779/task/21796/stat : 21796 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 1935 0 0 0 140 128 0 0 20 0 17 0 653994255 288464896 37554 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 43.67
Current children cumulated vsize (KiB) 281704

[startup+6.30594 s]
/proc/loadavg: 2.47 1.65 4.67 17/201 21796
/proc/meminfo: memFree=18797240/36427776 swapFree=4692/263308
[pid=21779] ppid=21777 vsize=427512 CPUtime=93.4
/proc/21779/stat : 21779 (ttsth-5-0) S 21777 21779 15497 0 -1 4202496 74195 0 0 0 6968 2372 0 0 20 0 17 0 653994226 437772288 74153 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/21779/statm: 106878 74153 95 177 0 106700 0
[pid=21779/tid=21781] ppid=21777 vsize=427512 CPUtime=6.02
/proc/21779/task/21781/stat : 21781 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 9717 0 0 0 578 24 0 0 20 0 17 0 653994251 437772288 74153 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21779/tid=21782] ppid=21777 vsize=427512 CPUtime=5.86
/proc/21779/task/21782/stat : 21782 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 3427 0 0 0 416 170 0 0 20 0 17 0 653994251 437772288 74154 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21779/tid=21783] ppid=21777 vsize=427512 CPUtime=5.88
/proc/21779/task/21783/stat : 21783 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 3595 0 0 0 418 170 0 0 20 0 17 0 653994251 437772288 74155 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21779/tid=21784] ppid=21777 vsize=427512 CPUtime=5.84
/proc/21779/task/21784/stat : 21784 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 4011 0 0 0 422 162 0 0 20 0 17 0 653994251 437772288 74155 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21779/tid=21785] ppid=21777 vsize=427512 CPUtime=5.6
/proc/21779/task/21785/stat : 21785 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 4590 0 0 0 414 146 0 0 20 0 17 0 653994251 437772288 74155 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21779/tid=21786] ppid=21777 vsize=427512 CPUtime=5.86
/proc/21779/task/21786/stat : 21786 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 3925 0 0 0 424 162 0 0 20 0 17 0 653994251 437772288 74155 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21779/tid=21787] ppid=21777 vsize=427512 CPUtime=5.84
/proc/21779/task/21787/stat : 21787 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 3356 0 0 0 416 168 0 0 20 0 17 0 653994251 437772288 74156 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21779/tid=21788] ppid=21777 vsize=427512 CPUtime=5.66
/proc/21779/task/21788/stat : 21788 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 4887 0 0 0 434 132 0 0 20 0 17 0 653994251 437772288 74156 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134680505 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21779/tid=21789] ppid=21777 vsize=427512 CPUtime=5.88
/proc/21779/task/21789/stat : 21789 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 3473 0 0 0 428 160 0 0 20 0 17 0 653994251 437772288 74157 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21779/tid=21790] ppid=21777 vsize=427512 CPUtime=5.9
/proc/21779/task/21790/stat : 21790 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 3966 0 0 0 436 154 0 0 20 0 17 0 653994251 437772288 74158 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21779/tid=21791] ppid=21777 vsize=427512 CPUtime=5.88
/proc/21779/task/21791/stat : 21791 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 3979 0 0 0 428 160 0 0 20 0 17 0 653994251 437772288 74158 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21779/tid=21792] ppid=21777 vsize=427512 CPUtime=5.9
/proc/21779/task/21792/stat : 21792 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 3979 0 0 0 440 150 0 0 20 0 17 0 653994251 437772288 74159 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21779/tid=21793] ppid=21777 vsize=427512 CPUtime=5.76
/proc/21779/task/21793/stat : 21793 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 3690 0 0 0 424 152 0 0 20 0 17 0 653994251 437772288 74159 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21779/tid=21794] ppid=21777 vsize=427512 CPUtime=5.88
/proc/21779/task/21794/stat : 21794 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 3551 0 0 0 426 162 0 0 20 0 17 0 653994251 437772288 74159 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21779/tid=21795] ppid=21777 vsize=427512 CPUtime=5.48
/proc/21779/task/21795/stat : 21795 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 3345 0 0 0 408 140 0 0 20 0 17 0 653994251 437772288 74159 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21779/tid=21796] ppid=21777 vsize=427512 CPUtime=5.84
/proc/21779/task/21796/stat : 21796 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 4429 0 0 0 430 154 0 0 20 0 17 0 653994255 437772288 74160 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 93.4
Current children cumulated vsize (KiB) 427512

[startup+12.706 s]
/proc/loadavg: 3.55 1.89 4.73 17/201 21796
/proc/meminfo: memFree=18491880/36427776 swapFree=4692/567312
[pid=21779] ppid=21777 vsize=722600 CPUtime=194.65
/proc/21779/stat : 21779 (ttsth-5-0) S 21777 21779 15497 0 -1 4202496 147911 0 0 0 16388 3077 0 0 20 0 17 0 653994226 739942400 147869 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/21779/statm: 180650 147871 95 177 0 180472 0
[pid=21779/tid=21781] ppid=21777 vsize=722600 CPUtime=12.42
/proc/21779/task/21781/stat : 21781 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 15251 0 0 0 1208 34 0 0 20 0 17 0 653994251 739942400 147871 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134550044 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21779/tid=21782] ppid=21777 vsize=722600 CPUtime=12.2
/proc/21779/task/21782/stat : 21782 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 8500 0 0 0 994 226 0 0 20 0 17 0 653994251 739942400 147871 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21779/tid=21783] ppid=21777 vsize=722600 CPUtime=12.26
/proc/21779/task/21783/stat : 21783 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 8885 0 0 0 1014 212 0 0 20 0 17 0 653994251 739942400 147872 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21779/tid=21784] ppid=21777 vsize=722600 CPUtime=12.16
/proc/21779/task/21784/stat : 21784 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 8902 0 0 0 1010 206 0 0 20 0 17 0 653994251 739942400 147873 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21779/tid=21785] ppid=21777 vsize=722600 CPUtime=11.9
/proc/21779/task/21785/stat : 21785 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 9756 0 0 0 988 202 0 0 20 0 17 0 653994251 739942400 147874 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21779/tid=21786] ppid=21777 vsize=722600 CPUtime=12.18
/proc/21779/task/21786/stat : 21786 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 9718 0 0 0 1006 212 0 0 20 0 17 0 653994251 739942400 147876 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21779/tid=21787] ppid=21777 vsize=722600 CPUtime=12.14
/proc/21779/task/21787/stat : 21787 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 8172 0 0 0 1000 214 0 0 20 0 17 0 653994251 739942400 147876 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21779/tid=21788] ppid=21777 vsize=722600 CPUtime=12
/proc/21779/task/21788/stat : 21788 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 9681 0 0 0 1026 174 0 0 20 0 17 0 653994251 739942400 147876 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21779/tid=21789] ppid=21777 vsize=722600 CPUtime=12.22
/proc/21779/task/21789/stat : 21789 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 7576 0 0 0 1020 202 0 0 20 0 17 0 653994251 739942400 147877 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21779/tid=21790] ppid=21777 vsize=722600 CPUtime=12.22
/proc/21779/task/21790/stat : 21790 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 7994 0 0 0 1026 196 0 0 20 0 17 0 653994251 739942400 147878 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21779/tid=21791] ppid=21777 vsize=722600 CPUtime=12.2
/proc/21779/task/21791/stat : 21791 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 8285 0 0 0 1008 212 0 0 20 0 17 0 653994251 739942400 147878 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21779/tid=21792] ppid=21777 vsize=722600 CPUtime=12.24
/proc/21779/task/21792/stat : 21792 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 8173 0 0 0 1030 194 0 0 20 0 17 0 653994251 739942400 147879 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21779/tid=21793] ppid=21777 vsize=722600 CPUtime=11.96
/proc/21779/task/21793/stat : 21793 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 7577 0 0 0 1002 194 0 0 20 0 17 0 653994251 739942400 147879 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546076 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21779/tid=21794] ppid=21777 vsize=722600 CPUtime=12.22
/proc/21779/task/21794/stat : 21794 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 7109 0 0 0 1008 214 0 0 20 0 17 0 653994251 739942400 147880 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21779/tid=21795] ppid=21777 vsize=722600 CPUtime=11.84
/proc/21779/task/21795/stat : 21795 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 7546 0 0 0 1004 180 0 0 20 0 17 0 653994251 739942400 147881 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21779/tid=21796] ppid=21777 vsize=722600 CPUtime=12.18
/proc/21779/task/21796/stat : 21796 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 8515 0 0 0 1018 200 0 0 20 0 17 0 653994255 739942400 147881 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 194.65
Current children cumulated vsize (KiB) 722600

[startup+25.5015 s]
/proc/loadavg: 6.24 2.56 4.91 17/201 21801
/proc/meminfo: memFree=17884272/36427776 swapFree=4692/1174552
[pid=21779] ppid=21777 vsize=1311020 CPUtime=397.34
/proc/21779/stat : 21779 (ttsth-5-0) S 21777 21779 15497 0 -1 4202496 294992 0 0 0 36199 3535 0 0 20 0 17 0 653994226 1342484480 294949 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/21779/statm: 327755 294951 95 177 0 327577 0
[pid=21779/tid=21781] ppid=21777 vsize=1311020 CPUtime=24.88
/proc/21779/task/21781/stat : 21781 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 23505 0 0 0 2434 54 0 0 20 0 17 0 653994251 1342484480 294951 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21779/tid=21782] ppid=21777 vsize=1311020 CPUtime=24.9
/proc/21779/task/21782/stat : 21782 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 19152 0 0 0 2228 262 0 0 20 0 17 0 653994251 1342484480 294951 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546076 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21779/tid=21783] ppid=21777 vsize=1311020 CPUtime=24.98
/proc/21779/task/21783/stat : 21783 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 18479 0 0 0 2256 242 0 0 20 0 17 0 653994251 1342484480 294952 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21779/tid=21784] ppid=21777 vsize=1311020 CPUtime=24.86
/proc/21779/task/21784/stat : 21784 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 18599 0 0 0 2246 240 0 0 20 0 17 0 653994251 1342484480 294953 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21779/tid=21785] ppid=21777 vsize=1311020 CPUtime=24.62
/proc/21779/task/21785/stat : 21785 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 20522 0 0 0 2230 232 0 0 20 0 17 0 653994251 1342484480 294953 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21779/tid=21786] ppid=21777 vsize=1311020 CPUtime=24.88
/proc/21779/task/21786/stat : 21786 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 21468 0 0 0 2250 238 0 0 20 0 17 0 653994251 1342484480 294953 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21779/tid=21787] ppid=21777 vsize=1311020 CPUtime=24.84
/proc/21779/task/21787/stat : 21787 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 17969 0 0 0 2246 238 0 0 20 0 17 0 653994251 1342484480 294954 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21779/tid=21788] ppid=21777 vsize=1311020 CPUtime=24.4
/proc/21779/task/21788/stat : 21788 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 18852 0 0 0 2228 212 0 0 20 0 17 0 653994251 1342484480 294954 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21779/tid=21789] ppid=21777 vsize=1311020 CPUtime=24.92
/proc/21779/task/21789/stat : 21789 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 15705 0 0 0 2268 224 0 0 20 0 17 0 653994251 1342484480 294955 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21779/tid=21790] ppid=21777 vsize=1311020 CPUtime=24.96
/proc/21779/task/21790/stat : 21790 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 16422 0 0 0 2266 230 0 0 20 0 17 0 653994251 1342484480 294956 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21779/tid=21791] ppid=21777 vsize=1311020 CPUtime=24.92
/proc/21779/task/21791/stat : 21791 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 17997 0 0 0 2250 242 0 0 20 0 17 0 653994251 1342484480 294956 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21779/tid=21792] ppid=21777 vsize=1311020 CPUtime=24.98
/proc/21779/task/21792/stat : 21792 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 16301 0 0 0 2280 218 0 0 20 0 17 0 653994251 1342484480 294956 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21779/tid=21793] ppid=21777 vsize=1311020 CPUtime=24.38
/proc/21779/task/21793/stat : 21793 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 15372 0 0 0 2216 222 0 0 20 0 17 0 653994251 1342484480 294957 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134561669 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21779/tid=21794] ppid=21777 vsize=1311020 CPUtime=24.96
/proc/21779/task/21794/stat : 21794 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 14993 0 0 0 2258 238 0 0 20 0 17 0 653994251 1342484480 294957 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21779/tid=21795] ppid=21777 vsize=1311020 CPUtime=24.56
/proc/21779/task/21795/stat : 21795 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 16866 0 0 0 2248 208 0 0 20 0 17 0 653994251 1342484480 294957 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21779/tid=21796] ppid=21777 vsize=1311020 CPUtime=24.92
/proc/21779/task/21796/stat : 21796 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 16516 0 0 0 2264 228 0 0 20 0 17 0 653994255 1342484480 294959 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 397.34
Current children cumulated vsize (KiB) 1311020



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+42.5047 s]
/proc/loadavg: 8.40 3.22 5.08 17/201 21801
/proc/meminfo: memFree=17081480/36427776 swapFree=4692/1976904
[pid=21779] ppid=21777 vsize=2099960 CPUtime=667.71
/proc/21779/stat : 21779 (ttsth-5-0) S 21777 21779 15497 0 -1 4202496 492322 0 0 0 62736 4035 0 0 20 0 17 0 653994226 2150359040 492279 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/21779/statm: 524990 492279 95 177 0 524812 0
[pid=21779/tid=21781] ppid=21777 vsize=2099960 CPUtime=41.77
/proc/21779/task/21781/stat : 21781 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 34949 0 0 0 4107 70 0 0 20 0 17 0 653994251 2150359040 492283 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21779/tid=21782] ppid=21777 vsize=2099960 CPUtime=41.84
/proc/21779/task/21782/stat : 21782 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 32979 0 0 0 3880 304 0 0 20 0 17 0 653994251 2150359040 492283 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21779/tid=21783] ppid=21777 vsize=2099960 CPUtime=41.91
/proc/21779/task/21783/stat : 21783 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 29088 0 0 0 3919 272 0 0 20 0 17 0 653994251 2150359040 492283 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21779/tid=21784] ppid=21777 vsize=2100120 CPUtime=41.78
/proc/21779/task/21784/stat : 21784 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 33323 0 0 0 3902 276 0 0 20 0 17 0 653994251 2150522880 492284 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21779/tid=21785] ppid=21777 vsize=2100120 CPUtime=41.52
/proc/21779/task/21785/stat : 21785 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 37016 0 0 0 3882 270 0 0 20 0 17 0 653994251 2150522880 492284 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21779/tid=21786] ppid=21777 vsize=2100120 CPUtime=41.8
/proc/21779/task/21786/stat : 21786 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 37023 0 0 0 3914 266 0 0 20 0 17 0 653994251 2150522880 492284 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134733328 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21779/tid=21787] ppid=21777 vsize=2100120 CPUtime=41.78
/proc/21779/task/21787/stat : 21787 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 32156 0 0 0 3908 270 0 0 20 0 17 0 653994251 2150522880 492284 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21779/tid=21788] ppid=21777 vsize=2100120 CPUtime=41.25
/proc/21779/task/21788/stat : 21788 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 29847 0 0 0 3881 244 0 0 20 0 17 0 653994251 2150522880 492284 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21779/tid=21789] ppid=21777 vsize=2100120 CPUtime=41.87
/proc/21779/task/21789/stat : 21789 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 26249 0 0 0 3931 256 0 0 20 0 17 0 653994251 2150522880 492285 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21779/tid=21790] ppid=21777 vsize=2100120 CPUtime=41.9
/proc/21779/task/21790/stat : 21790 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 27539 0 0 0 3924 266 0 0 20 0 17 0 653994251 2150522880 492286 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21779/tid=21791] ppid=21777 vsize=2100120 CPUtime=41.86
/proc/21779/task/21791/stat : 21791 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 30375 0 0 0 3906 280 0 0 20 0 17 0 653994251 2150522880 492286 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21779/tid=21792] ppid=21777 vsize=2100120 CPUtime=41.93
/proc/21779/task/21792/stat : 21792 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 26519 0 0 0 3945 248 0 0 20 0 17 0 653994251 2150522880 492287 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546076 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21779/tid=21793] ppid=21777 vsize=2100120 CPUtime=40.94
/proc/21779/task/21793/stat : 21793 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 26446 0 0 0 3838 256 0 0 20 0 17 0 653994251 2150522880 492287 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21779/tid=21794] ppid=21777 vsize=2100120 CPUtime=41.89
/proc/21779/task/21794/stat : 21794 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 25324 0 0 0 3927 262 0 0 20 0 17 0 653994251 2150522880 492287 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21779/tid=21795] ppid=21777 vsize=2100120 CPUtime=41.51
/proc/21779/task/21795/stat : 21795 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 28930 0 0 0 3917 234 0 0 20 0 17 0 653994251 2150522880 492287 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21779/tid=21796] ppid=21777 vsize=2100120 CPUtime=41.84
/proc/21779/task/21796/stat : 21796 (ttsth-5-0) R 21777 21779 15497 0 -1 4202560 28287 0 0 0 3932 252 0 0 20 0 17 0 653994255 2150522880 492287 18446744073709551615 134512640 135237372 4291865568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 667.71
Current children cumulated vsize (KiB) 2099960

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

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

[startup+42.6248 s]
/proc/loadavg: 8.40 3.22 5.08 17/201 21801
/proc/meminfo: memFree=17081480/36427776 swapFree=4692/1976904
[pid=21779] ppid=21777 vsize=0 CPUtime=667.98
/proc/21779/stat : 21779 (ttsth-5-0) Z 21777 21779 15497 0 -1 4203532 492432 0 0 0 62749 4049 0 0 20 0 2 0 653994226 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/21779/statm: 0 0 0 0 0 0 0
[pid=21779/tid=21796] ppid=21777 vsize=0 CPUtime=41.95
/proc/21779/task/21796/stat : 21796 (ttsth-5-0) R 21777 21779 15497 0 -1 4203588 28293 0 0 0 3933 262 0 0 20 0 2 0 653994255 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 667.98
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 42.6951
CPU time (s): 668.062
CPU user time (s): 627.495
CPU system time (s): 40.5665
CPU usage (%): 1564.73
Max. virtual memory (cumulated for all children) (KiB): 2099960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 627.495
system time used= 40.5665
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 492432
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= 65059
involuntary context switches= 1570

runsolver used 0.224014 second user time and 0.716044 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 04:34:39
IDJOB=1778865
IDBENCH=70774
IDSOLVER=634
FILE ID=xenhost3-49/1778865-1244946879
PBS_JOBID=
Free space on /tmp= 7025 MiB

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

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

MD5SUM BENCH= cb3e934c498918abbc8bcf7f964c0d21
RANDOM SEED= 2066960275

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:      19047068 kB
Buffers:        480628 kB
Cached:       14116076 kB
SwapCached:          0 kB
Active:        4126432 kB
Inactive:     10478092 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1864 kB
Writeback:           0 kB
AnonPages:        7816 kB
Mapped:           3716 kB
Slab:           722596 kB
SReclaimable:   695240 kB
SUnreclaim:      27356 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29736 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7025 MiB
End job on xenhost3-49 at 2009-06-14 04:35:23