Trace number 1780920

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) 2173.46 142.22

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
MD5SUM66aa2e18c32a02f55a810347a9702c7f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1278
Number of clauses68055
Sum of the clauses size202155
Maximum clause length9
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22148
Number of clauses of size 365884
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.00/0.07	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780920-1244979376.cnf 
0.00/0.07	c Using SATTIMEOUT of 10000
0.00/0.07	c Using SATRAM of 2047
0.00/0.07	c Size of subset node = 16
0.00/0.07	c Variables = 1278
0.00/0.07	c Clauses = 68055
0.00/0.07	c Literals = 202155
0.00/0.07	c Reduced size:
0.00/0.07	c Variables = 1278
0.00/0.07	c Clauses = 68055
0.00/0.07	c Literals = 202155
0.00/0.07	c a2
0.10/0.19	c a1
0.40/0.41	c Independent sub-problems = 1
0.40/0.41	c Sub-problem with 1278 variables and 68055 clauses
0.40/0.41	c using permutation method 4
0.40/0.41	c count = 1
0.40/0.41	c Ordering finished 0.380 seconds
0.40/0.41	c mapped 0.410 seconds
0.40/0.41	c permuted 0.410 seconds
0.40/0.41	c about to sort
0.40/0.42	c sorted
0.58/0.69	c clauses now 68055
0.58/0.69	c init finished 0.450 seconds
0.58/0.69	c tree built 0.680 seconds
0.58/0.69	c 
0.58/0.69	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.58/0.69	c ---------------------------------|----------------------------------|------------------------------------------------------
0.58/0.69	c ................................ | ..........                       |                        0.7           0.0             
0.58/0.69	c ................................ | ..........                     1 |                        0.7           1.5             
0.58/0.69	c ................................ | ..........                     2 |                        0.7           2.9             
0.58/0.70	c ................................ | ..........                     3 |                        0.7           4.4             
0.58/0.70	c ................................ | ..........                     4 |                        0.7           5.9             
0.58/0.70	c ................................ | ..........                     5 |                        0.7           7.4             
1.90/0.84	c ................................ | ..........                  1000 | 11                     1.8         543.5        33172
216.51/15.73	c ................................ | ..........                315000 | 21131                200.3        1573.0     16679638
418.74/29.37	c ................................ | ..........                482000 | 43289                400.3        1204.2     29776508
621.63/43.26	c ................................ | ..........                624000 | 66256                601.0        1038.2     42356757
822.29/56.78	c ................................ | ..........                772000 | 88315                800.8         964.0     53852444
1023.59/70.09	c ................................ | *.........                887000 | 106303              1001.5         885.7     63563842
1226.23/82.74	c ................................ | *.........                958000 | 116292              1202.8         796.5     72245430
1424.21/95.17	c ................................ | *.........               1028000 | 126782              1400.8         733.9     80268859
1625.36/107.79	c ................................ | *.........               1108000 | 139242              1601.7         691.8     88634619
1826.39/120.32	c ................................ | *.........               1201000 | 154634              1801.3         666.7     97051213
2026.01/132.86	c ................................ | **........               1252000 | 161011              2001.2         625.6    105071363

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-1780920-1244979376/watcher-1780920-1244979376 -o /tmp/evaluation-result-1780920-1244979376/solver-1780920-1244979376 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780920-1244979376.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 14.50 15.08 12.32 2/184 29768
/proc/meminfo: memFree=18989956/36427776 swapFree=3648/7904
[pid=29768] ppid=29766 vsize=1540 CPUtime=0
/proc/29768/stat : 29768 (ttsth-5-0) R 29766 29768 15497 0 -1 4202496 271 0 0 0 0 0 0 0 20 0 1 0 657244019 1576960 228 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134639534 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/29768/statm: 385 229 75 177 0 207 0

[startup+0.090658 s]
/proc/loadavg: 14.50 15.08 12.32 2/184 29768
/proc/meminfo: memFree=18989956/36427776 swapFree=3648/7904
[pid=29768] ppid=29766 vsize=9632 CPUtime=0.08
/proc/29768/stat : 29768 (ttsth-5-0) R 29766 29768 15497 0 -1 4202496 2232 0 0 0 6 2 0 0 20 0 1 0 657244019 9863168 2189 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134749343 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/29768/statm: 2408 2194 76 177 0 2230 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9632

[startup+0.102608 s]
/proc/loadavg: 14.50 15.08 12.32 2/184 29768
/proc/meminfo: memFree=18989956/36427776 swapFree=3648/7904
[pid=29768] ppid=29766 vsize=10056 CPUtime=0.1
/proc/29768/stat : 29768 (ttsth-5-0) R 29766 29768 15497 0 -1 4202496 2342 0 0 0 8 2 0 0 20 0 1 0 657244019 10297344 2298 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134680356 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/29768/statm: 2514 2298 76 177 0 2336 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10056

[startup+0.302662 s]
/proc/loadavg: 14.50 15.08 12.32 2/184 29768
/proc/meminfo: memFree=18989956/36427776 swapFree=3648/7904
[pid=29768] ppid=29766 vsize=10368 CPUtime=0.3
/proc/29768/stat : 29768 (ttsth-5-0) R 29766 29768 15497 0 -1 4202496 3465 0 0 0 28 2 0 0 20 0 1 0 657244019 10616832 2458 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134732614 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/29768/statm: 2592 2458 77 177 0 2414 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10368

[startup+0.702851 s]
/proc/loadavg: 14.50 15.08 12.32 2/184 29768
/proc/meminfo: memFree=18989956/36427776 swapFree=3648/7904
[pid=29768] ppid=29766 vsize=142532 CPUtime=0.68
/proc/29768/stat : 29768 (ttsth-5-0) R 29766 29768 15497 0 -1 4202496 9491 0 0 0 64 4 0 0 20 0 14 0 657244019 145952768 8415 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134762516 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29768/statm: 35633 8415 93 177 0 35455 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 142532

[startup+1.50224 s]
/proc/loadavg: 14.50 15.08 12.32 17/201 29785
/proc/meminfo: memFree=18953992/36427776 swapFree=4556/45304
[pid=29768] ppid=29766 vsize=179092 CPUtime=10.74
/proc/29768/stat : 29768 (ttsth-5-0) S 29766 29768 15497 0 -1 4202496 12366 0 0 0 514 560 0 0 20 0 17 0 657244019 183390208 11290 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29768/statm: 44773 11291 95 177 0 44595 0
[pid=29768/tid=29770] ppid=29766 vsize=179092 CPUtime=0.38
/proc/29768/task/29770/stat : 29770 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 101 0 0 0 36 2 0 0 20 0 17 0 657244089 183390208 11291 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134590285 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29768/tid=29771] ppid=29766 vsize=179092 CPUtime=0.76
/proc/29768/task/29771/stat : 29771 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 325 0 0 0 38 38 0 0 20 0 17 0 657244089 183390208 11292 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29768/tid=29772] ppid=29766 vsize=179092 CPUtime=0.76
/proc/29768/task/29772/stat : 29772 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 206 0 0 0 34 42 0 0 20 0 17 0 657244089 183390208 11292 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29768/tid=29773] ppid=29766 vsize=179092 CPUtime=0.76
/proc/29768/task/29773/stat : 29773 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 198 0 0 0 34 42 0 0 20 0 17 0 657244089 183390208 11292 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29768/tid=29774] ppid=29766 vsize=179092 CPUtime=0.76
/proc/29768/task/29774/stat : 29774 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 226 0 0 0 32 44 0 0 20 0 17 0 657244089 183390208 11292 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29768/tid=29775] ppid=29766 vsize=179092 CPUtime=0.76
/proc/29768/task/29775/stat : 29775 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 211 0 0 0 30 46 0 0 20 0 17 0 657244089 183390208 11292 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29768/tid=29776] ppid=29766 vsize=179092 CPUtime=0.76
/proc/29768/task/29776/stat : 29776 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 188 0 0 0 38 38 0 0 20 0 17 0 657244089 183390208 11292 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29768/tid=29777] ppid=29766 vsize=179092 CPUtime=0.36
/proc/29768/task/29777/stat : 29777 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 101 0 0 0 20 16 0 0 20 0 17 0 657244089 183390208 11292 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29768/tid=29778] ppid=29766 vsize=179092 CPUtime=0.38
/proc/29768/task/29778/stat : 29778 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 81 0 0 0 16 22 0 0 20 0 17 0 657244089 183390208 11292 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29768/tid=29779] ppid=29766 vsize=179092 CPUtime=0.76
/proc/29768/task/29779/stat : 29779 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 358 0 0 0 32 44 0 0 20 0 17 0 657244089 183390208 11292 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29768/tid=29780] ppid=29766 vsize=179092 CPUtime=0.74
/proc/29768/task/29780/stat : 29780 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 237 0 0 0 30 44 0 0 20 0 17 0 657244089 183390208 11293 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29768/tid=29781] ppid=29766 vsize=179092 CPUtime=0.76
/proc/29768/task/29781/stat : 29781 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 187 0 0 0 32 44 0 0 20 0 17 0 657244089 183390208 11293 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29768/tid=29782] ppid=29766 vsize=179092 CPUtime=0.42
/proc/29768/task/29782/stat : 29782 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 107 0 0 0 14 28 0 0 20 0 17 0 657244089 183390208 11294 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29768/tid=29783] ppid=29766 vsize=179092 CPUtime=0.4
/proc/29768/task/29783/stat : 29783 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 93 0 0 0 12 28 0 0 20 0 17 0 657244090 183390208 11294 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29768/tid=29784] ppid=29766 vsize=179092 CPUtime=0.74
/proc/29768/task/29784/stat : 29784 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 177 0 0 0 32 42 0 0 20 0 17 0 657244091 183390208 11294 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29768/tid=29785] ppid=29766 vsize=179092 CPUtime=0.4
/proc/29768/task/29785/stat : 29785 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 137 0 0 0 14 26 0 0 20 0 17 0 657244091 183390208 11294 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 10.74
Current children cumulated vsize (KiB) 179092

[startup+3.10301 s]
/proc/loadavg: 14.50 15.08 12.32 17/201 29785
/proc/meminfo: memFree=18937276/36427776 swapFree=4692/62348
[pid=29768] ppid=29766 vsize=207660 CPUtime=32.58
/proc/29768/stat : 29768 (ttsth-5-0) S 29766 29768 15497 0 -1 4202496 19306 0 0 0 1976 1282 0 0 20 0 17 0 657244019 212643840 18230 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29768/statm: 51915 18231 95 177 0 51737 0
[pid=29768/tid=29770] ppid=29766 vsize=207660 CPUtime=1.92
/proc/29768/task/29770/stat : 29770 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 558 0 0 0 190 2 0 0 20 0 17 0 657244089 212643840 18231 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134587921 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29768/tid=29771] ppid=29766 vsize=207660 CPUtime=2.32
/proc/29768/task/29771/stat : 29771 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 685 0 0 0 128 104 0 0 20 0 17 0 657244089 212643840 18231 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29768/tid=29772] ppid=29766 vsize=207660 CPUtime=2.32
/proc/29768/task/29772/stat : 29772 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 661 0 0 0 132 100 0 0 20 0 17 0 657244089 212643840 18231 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29768/tid=29773] ppid=29766 vsize=207660 CPUtime=2.32
/proc/29768/task/29773/stat : 29773 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 625 0 0 0 132 100 0 0 20 0 17 0 657244089 212643840 18231 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29768/tid=29774] ppid=29766 vsize=207660 CPUtime=2.32
/proc/29768/task/29774/stat : 29774 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 768 0 0 0 124 108 0 0 20 0 17 0 657244089 212643840 18232 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29768/tid=29775] ppid=29766 vsize=207660 CPUtime=2.32
/proc/29768/task/29775/stat : 29775 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 744 0 0 0 128 104 0 0 20 0 17 0 657244089 212643840 18232 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134591181 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29768/tid=29776] ppid=29766 vsize=207660 CPUtime=2.32
/proc/29768/task/29776/stat : 29776 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 627 0 0 0 140 92 0 0 20 0 17 0 657244089 212643840 18232 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29768/tid=29777] ppid=29766 vsize=207660 CPUtime=1.28
/proc/29768/task/29777/stat : 29777 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 307 0 0 0 84 44 0 0 20 0 17 0 657244089 212643840 18232 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29768/tid=29778] ppid=29766 vsize=207660 CPUtime=1.18
/proc/29768/task/29778/stat : 29778 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 290 0 0 0 70 48 0 0 20 0 17 0 657244089 212643840 18232 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29768/tid=29779] ppid=29766 vsize=207660 CPUtime=2.34
/proc/29768/task/29779/stat : 29779 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 954 0 0 0 136 98 0 0 20 0 17 0 657244089 212643840 18232 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29768/tid=29780] ppid=29766 vsize=207660 CPUtime=2.3
/proc/29768/task/29780/stat : 29780 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 1014 0 0 0 130 100 0 0 20 0 17 0 657244089 212643840 18232 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29768/tid=29781] ppid=29766 vsize=207660 CPUtime=2.22
/proc/29768/task/29781/stat : 29781 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 708 0 0 0 136 86 0 0 20 0 17 0 657244089 212643840 18232 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29768/tid=29782] ppid=29766 vsize=207660 CPUtime=1.26
/proc/29768/task/29782/stat : 29782 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 332 0 0 0 60 66 0 0 20 0 17 0 657244089 212643840 18232 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29768/tid=29783] ppid=29766 vsize=207660 CPUtime=1.86
/proc/29768/task/29783/stat : 29783 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 459 0 0 0 106 80 0 0 20 0 17 0 657244090 212643840 18233 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134589646 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29768/tid=29784] ppid=29766 vsize=207660 CPUtime=2.3
/proc/29768/task/29784/stat : 29784 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 686 0 0 0 146 84 0 0 20 0 17 0 657244091 212643840 18233 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29768/tid=29785] ppid=29766 vsize=207660 CPUtime=1.2
/proc/29768/task/29785/stat : 29785 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 453 0 0 0 66 54 0 0 20 0 17 0 657244091 212643840 18233 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 32.58
Current children cumulated vsize (KiB) 207660

[startup+6.30322 s]
/proc/loadavg: 14.62 15.09 12.34 17/201 29785
/proc/meminfo: memFree=18875848/36427776 swapFree=4692/125184
[pid=29768] ppid=29766 vsize=274452 CPUtime=77.19
/proc/29768/stat : 29768 (ttsth-5-0) S 29766 29768 15497 0 -1 4202496 35025 0 0 0 5488 2231 0 0 20 0 17 0 657244019 281038848 33949 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29768/statm: 68613 33949 95 177 0 68435 0
[pid=29768/tid=29770] ppid=29766 vsize=274452 CPUtime=5.12
/proc/29768/task/29770/stat : 29770 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 1188 0 0 0 508 4 0 0 20 0 17 0 657244089 281038848 33949 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29768/tid=29771] ppid=29766 vsize=274452 CPUtime=5.22
/proc/29768/task/29771/stat : 29771 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 1864 0 0 0 340 182 0 0 20 0 17 0 657244089 281038848 33949 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29768/tid=29772] ppid=29766 vsize=274452 CPUtime=5.46
/proc/29768/task/29772/stat : 29772 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 1676 0 0 0 378 168 0 0 20 0 17 0 657244089 281038848 33949 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29768/tid=29773] ppid=29766 vsize=274452 CPUtime=5.46
/proc/29768/task/29773/stat : 29773 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 1343 0 0 0 362 184 0 0 20 0 17 0 657244089 281038848 33949 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29768/tid=29774] ppid=29766 vsize=274452 CPUtime=5.48
/proc/29768/task/29774/stat : 29774 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 1941 0 0 0 372 176 0 0 20 0 17 0 657244089 281038848 33949 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29768/tid=29775] ppid=29766 vsize=274452 CPUtime=5.46
/proc/29768/task/29775/stat : 29775 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 1789 0 0 0 362 184 0 0 20 0 17 0 657244089 281038848 33949 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29768/tid=29776] ppid=29766 vsize=274452 CPUtime=5.48
/proc/29768/task/29776/stat : 29776 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 1392 0 0 0 382 166 0 0 20 0 17 0 657244089 281038848 33949 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29768/tid=29777] ppid=29766 vsize=274452 CPUtime=4.44
/proc/29768/task/29777/stat : 29777 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 1348 0 0 0 332 112 0 0 20 0 17 0 657244089 281038848 33949 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29768/tid=29778] ppid=29766 vsize=274452 CPUtime=2.98
/proc/29768/task/29778/stat : 29778 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 808 0 0 0 220 78 0 0 20 0 17 0 657244089 281038848 33949 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134589202 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29768/tid=29779] ppid=29766 vsize=274452 CPUtime=5.46
/proc/29768/task/29779/stat : 29779 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 2604 0 0 0 382 164 0 0 20 0 17 0 657244089 281038848 33949 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29768/tid=29780] ppid=29766 vsize=274452 CPUtime=5.44
/proc/29768/task/29780/stat : 29780 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 2266 0 0 0 358 186 0 0 20 0 17 0 657244089 281038848 33949 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29768/tid=29781] ppid=29766 vsize=274452 CPUtime=4.02
/proc/29768/task/29781/stat : 29781 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 1258 0 0 0 282 120 0 0 20 0 17 0 657244089 281038848 33949 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29768/tid=29782] ppid=29766 vsize=274452 CPUtime=3.08
/proc/29768/task/29782/stat : 29782 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 836 0 0 0 196 112 0 0 20 0 17 0 657244089 281038848 33949 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29768/tid=29783] ppid=29766 vsize=274452 CPUtime=4.94
/proc/29768/task/29783/stat : 29783 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 1246 0 0 0 338 156 0 0 20 0 17 0 657244090 281038848 33949 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29768/tid=29784] ppid=29766 vsize=274452 CPUtime=5.48
/proc/29768/task/29784/stat : 29784 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 2741 0 0 0 406 142 0 0 20 0 17 0 657244091 281038848 33949 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29768/tid=29785] ppid=29766 vsize=274452 CPUtime=2.82
/proc/29768/task/29785/stat : 29785 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 1288 0 0 0 200 82 0 0 20 0 17 0 657244091 281038848 33949 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 77.19
Current children cumulated vsize (KiB) 274452

[startup+12.7034 s]
/proc/loadavg: 14.73 15.10 12.36 17/201 29785
/proc/meminfo: memFree=18741328/36427776 swapFree=4692/258528
[pid=29768] ppid=29766 vsize=411616 CPUtime=171.96
/proc/29768/stat : 29768 (ttsth-5-0) S 29766 29768 15497 0 -1 4202496 67174 0 0 0 13942 3254 0 0 20 0 17 0 657244019 421494784 66098 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29768/statm: 102904 66099 95 177 0 102726 0
[pid=29768/tid=29770] ppid=29766 vsize=411616 CPUtime=11.5
/proc/29768/task/29770/stat : 29770 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 2257 0 0 0 1142 8 0 0 20 0 17 0 657244089 421494784 66099 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562320 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29768/tid=29771] ppid=29766 vsize=411616 CPUtime=8.46
/proc/29768/task/29771/stat : 29771 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 2852 0 0 0 622 224 0 0 20 0 17 0 657244089 421494784 66099 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29768/tid=29772] ppid=29766 vsize=411616 CPUtime=11.78
/proc/29768/task/29772/stat : 29772 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 3894 0 0 0 928 250 0 0 20 0 17 0 657244089 421494784 66099 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29768/tid=29773] ppid=29766 vsize=411616 CPUtime=11.76
/proc/29768/task/29773/stat : 29773 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 2637 0 0 0 906 270 0 0 20 0 17 0 657244089 421494784 66099 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29768/tid=29774] ppid=29766 vsize=411616 CPUtime=10.88
/proc/29768/task/29774/stat : 29774 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 4070 0 0 0 842 246 0 0 20 0 17 0 657244089 421494784 66099 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29768/tid=29775] ppid=29766 vsize=411616 CPUtime=11.76
/proc/29768/task/29775/stat : 29775 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 4348 0 0 0 922 254 0 0 20 0 17 0 657244089 421494784 66099 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29768/tid=29776] ppid=29766 vsize=411616 CPUtime=11.8
/proc/29768/task/29776/stat : 29776 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 2899 0 0 0 938 242 0 0 20 0 17 0 657244089 421494784 66099 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29768/tid=29777] ppid=29766 vsize=411616 CPUtime=10.76
/proc/29768/task/29777/stat : 29777 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 2853 0 0 0 896 180 0 0 20 0 17 0 657244089 421494784 66099 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0

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

/proc/29768/task/29773/stat : 29773 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 5737 0 0 0 2118 324 0 0 20 0 17 0 657244089 653537280 119123 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29768/tid=29774] ppid=29766 vsize=638220 CPUtime=21.58
/proc/29768/task/29774/stat : 29774 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 7068 0 0 0 1872 286 0 0 20 0 17 0 657244089 653537280 119123 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29768/tid=29775] ppid=29766 vsize=638220 CPUtime=24.44
/proc/29768/task/29775/stat : 29775 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 8022 0 0 0 2124 320 0 0 20 0 17 0 657244089 653537280 119123 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29768/tid=29776] ppid=29766 vsize=638220 CPUtime=24.52
/proc/29768/task/29776/stat : 29776 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 5619 0 0 0 2150 302 0 0 20 0 17 0 657244089 653537280 119123 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29768/tid=29777] ppid=29766 vsize=638220 CPUtime=23.48
/proc/29768/task/29777/stat : 29777 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 5861 0 0 0 2118 230 0 0 20 0 17 0 657244089 653537280 119123 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29768/tid=29778] ppid=29766 vsize=638220 CPUtime=18.44
/proc/29768/task/29778/stat : 29778 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 4901 0 0 0 1660 184 0 0 20 0 17 0 657244089 653537280 119123 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29768/tid=29779] ppid=29766 vsize=638220 CPUtime=21.22
/proc/29768/task/29779/stat : 29779 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 13001 0 0 0 1830 292 0 0 20 0 17 0 657244089 653537280 119123 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29768/tid=29780] ppid=29766 vsize=638220 CPUtime=23.7
/proc/29768/task/29780/stat : 29780 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 8462 0 0 0 2046 324 0 0 20 0 17 0 657244089 653537280 119123 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29768/tid=29781] ppid=29766 vsize=638220 CPUtime=23.08
/proc/29768/task/29781/stat : 29781 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 5643 0 0 0 2098 210 0 0 20 0 17 0 657244089 653537280 119123 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29768/tid=29782] ppid=29766 vsize=638220 CPUtime=22.08
/proc/29768/task/29782/stat : 29782 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 5267 0 0 0 1960 248 0 0 20 0 17 0 657244089 653537280 119123 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29768/tid=29783] ppid=29766 vsize=638220 CPUtime=23.54
/proc/29768/task/29783/stat : 29783 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 6116 0 0 0 2042 312 0 0 20 0 17 0 657244090 653537280 119123 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29768/tid=29784] ppid=29766 vsize=638220 CPUtime=24.52
/proc/29768/task/29784/stat : 29784 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 10259 0 0 0 2218 234 0 0 20 0 17 0 657244091 653537280 119123 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29768/tid=29785] ppid=29766 vsize=638220 CPUtime=19.66
/proc/29768/task/29785/stat : 29785 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 7219 0 0 0 1792 174 0 0 20 0 17 0 657244091 653537280 119124 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 362.36
Current children cumulated vsize (KiB) 638220

[startup+51.1029 s]
/proc/loadavg: 15.17 15.16 12.49 17/201 29785
/proc/meminfo: memFree=18146804/36427776 swapFree=4692/854340
[pid=29768] ppid=29766 vsize=1041568 CPUtime=739.4
/proc/29768/stat : 29768 (ttsth-5-0) S 29766 29768 15497 0 -1 4202496 214475 0 0 0 69207 4733 0 0 20 0 17 0 657244019 1066565632 213399 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29768/statm: 260392 213399 95 177 0 260214 0
[pid=29768/tid=29770] ppid=29766 vsize=1041568 CPUtime=49.7
/proc/29768/task/29770/stat : 29770 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 10418 0 0 0 4946 24 0 0 20 0 17 0 657244089 1066565632 213399 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29768/tid=29771] ppid=29766 vsize=1041568 CPUtime=43.5
/proc/29768/task/29771/stat : 29771 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 9660 0 0 0 4050 300 0 0 20 0 17 0 657244089 1066565632 213399 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29768/tid=29772] ppid=29766 vsize=1041568 CPUtime=46.94
/proc/29768/task/29772/stat : 29772 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 14309 0 0 0 4312 382 0 0 20 0 17 0 657244089 1066565632 213399 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29768/tid=29773] ppid=29766 vsize=1041568 CPUtime=49.74
/proc/29768/task/29773/stat : 29773 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 11209 0 0 0 4606 368 0 0 20 0 17 0 657244089 1066565632 213399 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29768/tid=29774] ppid=29766 vsize=1041568 CPUtime=46.21
/proc/29768/task/29774/stat : 29774 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 12776 0 0 0 4291 330 0 0 20 0 17 0 657244089 1066565632 213399 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29768/tid=29775] ppid=29766 vsize=1041568 CPUtime=48.41
/proc/29768/task/29775/stat : 29775 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 13990 0 0 0 4467 374 0 0 20 0 17 0 657244089 1066565632 213399 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29768/tid=29776] ppid=29766 vsize=1041568 CPUtime=49.92
/proc/29768/task/29776/stat : 29776 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 9701 0 0 0 4640 352 0 0 20 0 17 0 657244089 1066565632 213399 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29768/tid=29777] ppid=29766 vsize=1041568 CPUtime=48.88
/proc/29768/task/29777/stat : 29777 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 12441 0 0 0 4616 272 0 0 20 0 17 0 657244089 1066565632 213399 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29768/tid=29778] ppid=29766 vsize=1041568 CPUtime=42.22
/proc/29768/task/29778/stat : 29778 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 9985 0 0 0 3994 228 0 0 20 0 17 0 657244089 1066565632 213400 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29768/tid=29779] ppid=29766 vsize=1041568 CPUtime=46.05
/proc/29768/task/29779/stat : 29779 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 24059 0 0 0 4273 332 0 0 20 0 17 0 657244089 1066565632 213400 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29768/tid=29780] ppid=29766 vsize=1041568 CPUtime=45.37
/proc/29768/task/29780/stat : 29780 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 16337 0 0 0 4155 382 0 0 20 0 17 0 657244089 1066565632 213400 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29768/tid=29781] ppid=29766 vsize=1041568 CPUtime=41.77
/proc/29768/task/29781/stat : 29781 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 7938 0 0 0 3923 254 0 0 20 0 17 0 657244089 1066565632 213400 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29768/tid=29782] ppid=29766 vsize=1041568 CPUtime=44.15
/proc/29768/task/29782/stat : 29782 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 8498 0 0 0 4137 278 0 0 20 0 17 0 657244089 1066565632 213400 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29768/tid=29783] ppid=29766 vsize=1041568 CPUtime=47.46
/proc/29768/task/29783/stat : 29783 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 12735 0 0 0 4394 352 0 0 20 0 17 0 657244090 1066565632 213400 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29768/tid=29784] ppid=29766 vsize=1041568 CPUtime=49.93
/proc/29768/task/29784/stat : 29784 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 17878 0 0 0 4721 272 0 0 20 0 17 0 657244091 1066565632 213400 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29768/tid=29785] ppid=29766 vsize=1041568 CPUtime=38.39
/proc/29768/task/29785/stat : 29785 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 13105 0 0 0 3617 222 0 0 20 0 17 0 657244091 1066565632 213400 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 739.4
Current children cumulated vsize (KiB) 1041568

[startup+102.314 s]
/proc/loadavg: 15.64 15.28 12.67 17/201 29785
/proc/meminfo: memFree=17566480/36427776 swapFree=4692/1431428
[pid=29768] ppid=29766 vsize=1656092 CPUtime=1539.28
/proc/29768/stat : 29768 (ttsth-5-0) S 29766 29768 15497 0 -1 4202496 357767 0 0 0 148203 5725 0 0 20 0 17 0 657244019 1695838208 356691 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29768/statm: 414023 356691 95 177 0 413845 0
[pid=29768/tid=29770] ppid=29766 vsize=1656092 CPUtime=100.81
/proc/29768/task/29770/stat : 29770 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 19230 0 0 0 10037 44 0 0 20 0 17 0 657244089 1695838208 356691 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29768/tid=29771] ppid=29766 vsize=1656092 CPUtime=94.54
/proc/29768/task/29771/stat : 29771 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 15868 0 0 0 9090 364 0 0 20 0 17 0 657244089 1695838208 356691 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134730542 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29768/tid=29772] ppid=29766 vsize=1656092 CPUtime=96.93
/proc/29768/task/29772/stat : 29772 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 25723 0 0 0 9231 462 0 0 20 0 17 0 657244089 1695838208 356691 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29768/tid=29773] ppid=29766 vsize=1656092 CPUtime=98.09
/proc/29768/task/29773/stat : 29773 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 20138 0 0 0 9367 442 0 0 20 0 17 0 657244089 1695838208 356691 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29768/tid=29774] ppid=29766 vsize=1656092 CPUtime=95.43
/proc/29768/task/29774/stat : 29774 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 19875 0 0 0 9151 392 0 0 20 0 17 0 657244089 1695838208 356691 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562272 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29768/tid=29775] ppid=29766 vsize=1656092 CPUtime=99.5
/proc/29768/task/29775/stat : 29775 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 19496 0 0 0 9538 412 0 0 20 0 17 0 657244089 1695838208 356691 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29768/tid=29776] ppid=29766 vsize=1656092 CPUtime=100.98
/proc/29768/task/29776/stat : 29776 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 15243 0 0 0 9688 410 0 0 20 0 17 0 657244089 1695838208 356691 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29768/tid=29777] ppid=29766 vsize=1656092 CPUtime=99.88
/proc/29768/task/29777/stat : 29777 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 22368 0 0 0 9668 320 0 0 20 0 17 0 657244089 1695838208 356691 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29768/tid=29778] ppid=29766 vsize=1656092 CPUtime=93.22
/proc/29768/task/29778/stat : 29778 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 19649 0 0 0 9024 298 0 0 20 0 17 0 657244089 1695838208 356691 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29768/tid=29779] ppid=29766 vsize=1656092 CPUtime=97
/proc/29768/task/29779/stat : 29779 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 40908 0 0 0 9284 416 0 0 20 0 17 0 657244089 1695838208 356691 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29768/tid=29780] ppid=29766 vsize=1656092 CPUtime=93.04
/proc/29768/task/29780/stat : 29780 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 29083 0 0 0 8830 474 0 0 20 0 17 0 657244089 1695838208 356691 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29768/tid=29781] ppid=29766 vsize=1656092 CPUtime=92.84
/proc/29768/task/29781/stat : 29781 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 13049 0 0 0 8980 304 0 0 20 0 17 0 657244089 1695838208 356691 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29768/tid=29782] ppid=29766 vsize=1656092 CPUtime=95.2
/proc/29768/task/29782/stat : 29782 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 15357 0 0 0 9184 336 0 0 20 0 17 0 657244089 1695838208 356691 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29768/tid=29783] ppid=29766 vsize=1656092 CPUtime=98.45
/proc/29768/task/29783/stat : 29783 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 20965 0 0 0 9423 422 0 0 20 0 17 0 657244090 1695838208 356691 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29768/tid=29784] ppid=29766 vsize=1656092 CPUtime=98.38
/proc/29768/task/29784/stat : 29784 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 29702 0 0 0 9512 326 0 0 20 0 17 0 657244091 1695838208 356691 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29768/tid=29785] ppid=29766 vsize=1656092 CPUtime=84.16
/proc/29768/task/29785/stat : 29785 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 21676 0 0 0 8124 292 0 0 20 0 17 0 657244091 1695838208 356691 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1539.28
Current children cumulated vsize (KiB) 1656092



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+142.006 s]
/proc/loadavg: 15.81 15.37 12.81 17/201 29785
/proc/meminfo: memFree=17151948/36427776 swapFree=4692/1845716
[pid=29768] ppid=29766 vsize=2096340 CPUtime=2173.09
/proc/29768/stat : 29768 (ttsth-5-0) S 29766 29768 15497 0 -1 4202496 460330 0 0 0 211001 6308 0 0 20 0 17 0 657244019 2146652160 459254 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29768/statm: 524085 459254 95 177 0 523907 0
[pid=29768/tid=29770] ppid=29766 vsize=2096340 CPUtime=140.49
/proc/29768/task/29770/stat : 29770 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 23835 0 0 0 13995 54 0 0 20 0 17 0 657244089 2146652160 459255 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134551795 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29768/tid=29771] ppid=29766 vsize=2096340 CPUtime=134.19
/proc/29768/task/29771/stat : 29771 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 24699 0 0 0 13013 406 0 0 20 0 17 0 657244089 2146652160 459255 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29768/tid=29772] ppid=29766 vsize=2096340 CPUtime=135.82
/proc/29768/task/29772/stat : 29772 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 31720 0 0 0 13082 500 0 0 20 0 17 0 657244089 2146652160 459255 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562272 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29768/tid=29773] ppid=29766 vsize=2096340 CPUtime=137.73
/proc/29768/task/29773/stat : 29773 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 27155 0 0 0 13275 498 0 0 20 0 17 0 657244089 2146652160 459255 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29768/tid=29774] ppid=29766 vsize=2096340 CPUtime=135.11
/proc/29768/task/29774/stat : 29774 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 25458 0 0 0 13087 424 0 0 20 0 17 0 657244089 2146652160 459255 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29768/tid=29775] ppid=29766 vsize=2096340 CPUtime=139.17
/proc/29768/task/29775/stat : 29775 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 22969 0 0 0 13481 436 0 0 20 0 17 0 657244089 2146652160 459255 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29768/tid=29776] ppid=29766 vsize=2096340 CPUtime=140.63
/proc/29768/task/29776/stat : 29776 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 18508 0 0 0 13621 442 0 0 20 0 17 0 657244089 2146652160 459255 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29768/tid=29777] ppid=29766 vsize=2096340 CPUtime=139.55
/proc/29768/task/29777/stat : 29777 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 28804 0 0 0 13605 350 0 0 20 0 17 0 657244089 2146652160 459255 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29768/tid=29778] ppid=29766 vsize=2096340 CPUtime=132.88
/proc/29768/task/29778/stat : 29778 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 26149 0 0 0 12952 336 0 0 20 0 17 0 657244089 2146652160 459256 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29768/tid=29779] ppid=29766 vsize=2096340 CPUtime=136.66
/proc/29768/task/29779/stat : 29779 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 50727 0 0 0 13204 462 0 0 20 0 17 0 657244089 2146652160 459256 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29768/tid=29780] ppid=29766 vsize=2096340 CPUtime=132.68
/proc/29768/task/29780/stat : 29780 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 38372 0 0 0 12750 518 0 0 20 0 17 0 657244089 2146652160 459256 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29768/tid=29781] ppid=29766 vsize=2096340 CPUtime=132.5
/proc/29768/task/29781/stat : 29781 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 18559 0 0 0 12920 330 0 0 20 0 17 0 657244089 2146652160 459256 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29768/tid=29782] ppid=29766 vsize=2096340 CPUtime=134.85
/proc/29768/task/29782/stat : 29782 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 23240 0 0 0 13095 390 0 0 20 0 17 0 657244089 2146652160 459256 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29768/tid=29783] ppid=29766 vsize=2096340 CPUtime=138.09
/proc/29768/task/29783/stat : 29783 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 26167 0 0 0 13347 462 0 0 20 0 17 0 657244090 2146652160 459256 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29768/tid=29784] ppid=29766 vsize=2096340 CPUtime=138.06
/proc/29768/task/29784/stat : 29784 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 36973 0 0 0 13452 354 0 0 20 0 17 0 657244091 2146652160 459256 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134562341 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29768/tid=29785] ppid=29766 vsize=2096340 CPUtime=123.8
/proc/29768/task/29785/stat : 29785 (ttsth-5-0) R 29766 29768 15497 0 -1 4202560 27560 0 0 0 12048 332 0 0 20 0 17 0 657244091 2146652160 459256 18446744073709551615 134512640 135237372 4290357872 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 2173.09
Current children cumulated vsize (KiB) 2096340

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

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

[startup+142.202 s]
/proc/loadavg: 15.81 15.37 12.81 17/201 29785
/proc/meminfo: memFree=17151948/36427776 swapFree=4692/1845716
[pid=29768] ppid=29766 vsize=0 CPUtime=2173.43
/proc/29768/stat : 29768 (ttsth-5-0) Z 29766 29768 15497 0 -1 4203532 460348 0 0 0 211011 6332 0 0 20 0 2 0 657244019 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29768/statm: 0 0 0 0 0 0 0
[pid=29768/tid=29784] ppid=29766 vsize=0 CPUtime=138.23
/proc/29768/task/29784/stat : 29784 (ttsth-5-0) R 29766 29768 15497 0 -1 4203588 36974 0 0 0 13453 370 0 0 20 0 2 0 657244091 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2173.43
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 142.22
CPU time (s): 2173.46
CPU user time (s): 2110.13
CPU system time (s): 63.336
CPU usage (%): 1528.24
Max. virtual memory (cumulated for all children) (KiB): 2096340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2110.13
system time used= 63.336
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460348
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= 66074
involuntary context switches= 6841

runsolver used 0.660041 second user time and 2.06813 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 13:36:16
IDJOB=1780920
IDBENCH=71078
IDSOLVER=634
FILE ID=xenhost3-49/1780920-1244979376
PBS_JOBID=
Free space on /tmp= 7022 MiB

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

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

MD5SUM BENCH= 66aa2e18c32a02f55a810347a9702c7f
RANDOM SEED= 205042189

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:      18989956 kB
Buffers:        524804 kB
Cached:       14118948 kB
SwapCached:          0 kB
Active:        4170684 kB
Inactive:     10480972 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1364 kB
Writeback:           0 kB
AnonPages:        7904 kB
Mapped:           3648 kB
Slab:           733552 kB
SReclaimable:   706668 kB
SUnreclaim:      26884 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29616 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

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