Trace number 1781025

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) 2558.91 165.822

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
MD5SUMfeb620c17f2a4d7899a2e7883baa7391
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 variables1430
Number of clauses87044
Sum of the clauses size258924
Maximum clause length10
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22369
Number of clauses of size 384652
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.00/0.09	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781025-1244980425.cnf 
0.00/0.09	c Using SATTIMEOUT of 10000
0.00/0.09	c Using SATRAM of 2047
0.00/0.09	c Size of subset node = 16
0.00/0.09	c Variables = 1430
0.00/0.09	c Clauses = 87044
0.00/0.09	c Literals = 258924
0.00/0.09	c Reduced size:
0.00/0.09	c Variables = 1430
0.00/0.09	c Clauses = 87044
0.00/0.09	c Literals = 258924
0.00/0.09	c a2
0.18/0.25	c a1
0.48/0.53	c Independent sub-problems = 1
0.48/0.53	c Sub-problem with 1430 variables and 87044 clauses
0.48/0.53	c using permutation method 4
0.48/0.53	c count = 1
0.48/0.53	c Ordering finished 0.500 seconds
0.48/0.53	c mapped 0.530 seconds
0.48/0.53	c permuted 0.530 seconds
0.48/0.53	c about to sort
0.48/0.55	c sorted
0.88/0.93	c clauses now 87044
0.88/0.93	c init finished 0.580 seconds
0.88/0.93	c tree built 0.920 seconds
0.88/0.93	c 
0.88/0.93	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.88/0.93	c ---------------------------------|----------------------------------|------------------------------------------------------
0.88/0.93	c ................................ | ..........                       |                        0.9           0.0             
0.88/0.93	c ................................ | ..........                     1 |                        0.9           1.1             
0.88/0.93	c ................................ | ..........                     2 |                        0.9           2.2             
0.88/0.93	c ................................ | ..........                     3 |                        0.9           3.3             
0.88/0.93	c ................................ | ..........                     4 |                        0.9           4.3             
0.88/0.93	c ................................ | ..........                     5 |                        0.9           5.4             
0.88/0.99	c ................................ | ..........                  1000 | 4                      1.4         735.3         4470
224.68/16.18	c ................................ | ..........                318000 | 21883                200.7        1584.2     13405782
429.70/30.06	c ................................ | ..........                448000 | 27833                400.7        1118.1     25098014
630.78/43.58	c ................................ | ..........                562000 | 32717                600.3         936.2     35413473
832.95/56.82	c ................................ | ..........                702000 | 41421                800.1         877.4     44687493
1035.35/69.52	c ................................ | *.........                787000 | 47008               1000.9         786.3     53151286
1235.04/82.59	c ................................ | *.........                865000 | 52723               1200.3         720.6     61714151
1436.58/95.38	c ................................ | *.........                976000 | 62725               1400.7         696.8     70102008
1637.53/107.98	c ................................ | *.........               1125000 | 80778               1600.5         702.9     78624116
1838.54/120.56	c ................................ | *.........               1246000 | 97140               1800.0         692.2     86099147
2039.77/133.19	c ................................ | **........               1356000 | 111032              2001.0         677.7     93331981

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

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


[startup+0 s]
/proc/loadavg: 15.95 15.58 14.42 2/184 30168
/proc/meminfo: memFree=18989324/36427776 swapFree=3052/7852
[pid=30168] ppid=30166 vsize=1540 CPUtime=0
/proc/30168/stat : 30168 (ttsth-5-0) R 30166 30168 15497 0 -1 4202496 270 0 0 0 0 0 0 0 20 0 1 0 657348921 1576960 226 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134732614 0 0 1 0 0 0 0 17 7 0 0 0 0 0
/proc/30168/statm: 385 226 75 177 0 207 0

[startup+0.011773 s]
/proc/loadavg: 15.95 15.58 14.42 2/184 30168
/proc/meminfo: memFree=18989324/36427776 swapFree=3052/7852
[pid=30168] ppid=30166 vsize=1672 CPUtime=0
/proc/30168/stat : 30168 (ttsth-5-0) R 30166 30168 15497 0 -1 4202496 300 0 0 0 0 0 0 0 20 0 1 0 657348921 1712128 256 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134732614 0 0 1 0 0 0 0 17 7 0 0 0 0 0
/proc/30168/statm: 418 257 75 177 0 240 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1672

[startup+0.103765 s]
/proc/loadavg: 15.95 15.58 14.42 2/184 30168
/proc/meminfo: memFree=18989324/36427776 swapFree=3052/7852
[pid=30168] ppid=30166 vsize=8112 CPUtime=0.1
/proc/30168/stat : 30168 (ttsth-5-0) R 30166 30168 15497 0 -1 4202496 1919 0 0 0 10 0 0 0 20 0 1 0 657348921 8306688 1875 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134517186 0 0 1 0 0 0 0 17 7 0 0 0 0 0
/proc/30168/statm: 2028 1877 76 177 0 1850 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8112

[startup+0.303804 s]
/proc/loadavg: 15.95 15.58 14.42 2/184 30168
/proc/meminfo: memFree=18989324/36427776 swapFree=3052/7852
[pid=30168] ppid=30166 vsize=12652 CPUtime=0.3
/proc/30168/stat : 30168 (ttsth-5-0) R 30166 30168 15497 0 -1 4202496 3134 0 0 0 30 0 0 0 20 0 1 0 657348921 12955648 2917 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134555272 0 0 1 0 0 0 0 17 7 0 0 0 0 0
/proc/30168/statm: 3163 2917 77 177 0 2985 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 12652

[startup+0.703812 s]
/proc/loadavg: 15.95 15.58 14.42 2/184 30168
/proc/meminfo: memFree=18989324/36427776 swapFree=3052/7852
[pid=30168] ppid=30166 vsize=29616 CPUtime=0.68
/proc/30168/stat : 30168 (ttsth-5-0) R 30166 30168 15497 0 -1 4202496 7505 0 0 0 64 4 0 0 20 0 1 0 657348921 30326784 7202 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134735855 0 0 1 0 0 0 0 17 7 0 0 0 0 0
/proc/30168/statm: 7404 7202 90 177 0 7226 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 29616

[startup+1.50391 s]
/proc/loadavg: 15.95 15.58 14.42 17/201 30185
/proc/meminfo: memFree=18949548/36427776 swapFree=4680/47804
[pid=30168] ppid=30166 vsize=179012 CPUtime=9.07
/proc/30168/stat : 30168 (ttsth-5-0) S 30166 30168 15497 0 -1 4202496 12118 0 0 0 419 488 0 0 20 0 17 0 657348921 183308288 11729 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30168/statm: 44753 11730 95 177 0 44575 0
[pid=30168/tid=30170] ppid=30166 vsize=179012 CPUtime=0.54
/proc/30168/task/30170/stat : 30170 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 296 0 0 0 50 4 0 0 20 0 17 0 657349015 183308288 11730 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30168/tid=30171] ppid=30166 vsize=179012 CPUtime=0.52
/proc/30168/task/30171/stat : 30171 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 96 0 0 0 12 40 0 0 20 0 17 0 657349015 183308288 11730 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30168/tid=30172] ppid=30166 vsize=179012 CPUtime=0.54
/proc/30168/task/30172/stat : 30172 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 122 0 0 0 18 36 0 0 20 0 17 0 657349015 183308288 11730 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30168/tid=30173] ppid=30166 vsize=179012 CPUtime=0.54
/proc/30168/task/30173/stat : 30173 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 144 0 0 0 20 34 0 0 20 0 17 0 657349015 183308288 11730 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30168/tid=30174] ppid=30166 vsize=179012 CPUtime=0.54
/proc/30168/task/30174/stat : 30174 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 106 0 0 0 24 30 0 0 20 0 17 0 657349015 183308288 11730 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134588046 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30168/tid=30175] ppid=30166 vsize=179012 CPUtime=0.22
/proc/30168/task/30175/stat : 30175 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 91 0 0 0 10 12 0 0 20 0 17 0 657349015 183308288 11730 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134591221 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30168/tid=30176] ppid=30166 vsize=179012 CPUtime=0.54
/proc/30168/task/30176/stat : 30176 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 81 0 0 0 24 30 0 0 20 0 17 0 657349015 183308288 11730 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30168/tid=30177] ppid=30166 vsize=179012 CPUtime=0.32
/proc/30168/task/30177/stat : 30177 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 100 0 0 0 14 18 0 0 20 0 17 0 657349015 183308288 11730 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30168/tid=30178] ppid=30166 vsize=179012 CPUtime=0.54
/proc/30168/task/30178/stat : 30178 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 148 0 0 0 24 30 0 0 20 0 17 0 657349015 183308288 11730 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30168/tid=30179] ppid=30166 vsize=179012 CPUtime=0.56
/proc/30168/task/30179/stat : 30179 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 93 0 0 0 20 36 0 0 20 0 17 0 657349015 183308288 11730 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134591065 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30168/tid=30180] ppid=30166 vsize=179012 CPUtime=0.54
/proc/30168/task/30180/stat : 30180 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 128 0 0 0 22 32 0 0 20 0 17 0 657349015 183308288 11730 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30168/tid=30181] ppid=30166 vsize=179012 CPUtime=0.54
/proc/30168/task/30181/stat : 30181 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 129 0 0 0 16 38 0 0 20 0 17 0 657349015 183308288 11730 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30168/tid=30182] ppid=30166 vsize=179012 CPUtime=0.52
/proc/30168/task/30182/stat : 30182 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 86 0 0 0 20 32 0 0 20 0 17 0 657349015 183308288 11730 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134592435 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30168/tid=30183] ppid=30166 vsize=179012 CPUtime=0.56
/proc/30168/task/30183/stat : 30183 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 121 0 0 0 20 36 0 0 20 0 17 0 657349015 183308288 11730 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134590275 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30168/tid=30184] ppid=30166 vsize=179012 CPUtime=0.54
/proc/30168/task/30184/stat : 30184 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 135 0 0 0 18 36 0 0 20 0 17 0 657349015 183308288 11730 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134590140 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30168/tid=30185] ppid=30166 vsize=179012 CPUtime=0.52
/proc/30168/task/30185/stat : 30185 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 85 0 0 0 18 34 0 0 20 0 17 0 657349015 183308288 11730 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 9.07
Current children cumulated vsize (KiB) 179012

[startup+3.10368 s]
/proc/loadavg: 15.95 15.59 14.42 17/201 30185
/proc/meminfo: memFree=18938848/36427776 swapFree=4692/61032
[pid=30168] ppid=30166 vsize=200004 CPUtime=32.54
/proc/30168/stat : 30168 (ttsth-5-0) S 30166 30168 15497 0 -1 4202496 17000 0 0 0 1722 1532 0 0 20 0 17 0 657348921 204804096 16611 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30168/statm: 50001 16611 95 177 0 49823 0
[pid=30168/tid=30170] ppid=30166 vsize=200004 CPUtime=2.16
/proc/30168/task/30170/stat : 30170 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 1051 0 0 0 210 6 0 0 20 0 17 0 657349015 204804096 16611 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30168/tid=30171] ppid=30166 vsize=200004 CPUtime=2.08
/proc/30168/task/30171/stat : 30171 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 353 0 0 0 80 128 0 0 20 0 17 0 657349015 204804096 16611 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30168/tid=30172] ppid=30166 vsize=200004 CPUtime=2.1
/proc/30168/task/30172/stat : 30172 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 470 0 0 0 94 116 0 0 20 0 17 0 657349015 204804096 16611 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30168/tid=30173] ppid=30166 vsize=200004 CPUtime=2.04
/proc/30168/task/30173/stat : 30173 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 444 0 0 0 108 96 0 0 20 0 17 0 657349015 204804096 16611 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30168/tid=30174] ppid=30166 vsize=200004 CPUtime=2.1
/proc/30168/task/30174/stat : 30174 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 385 0 0 0 110 100 0 0 20 0 17 0 657349015 204804096 16611 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30168/tid=30175] ppid=30166 vsize=200004 CPUtime=1.1
/proc/30168/task/30175/stat : 30175 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 248 0 0 0 60 50 0 0 20 0 17 0 657349015 204804096 16611 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30168/tid=30176] ppid=30166 vsize=200004 CPUtime=2.1
/proc/30168/task/30176/stat : 30176 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 271 0 0 0 100 110 0 0 20 0 17 0 657349015 204804096 16611 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30168/tid=30177] ppid=30166 vsize=200004 CPUtime=1.1
/proc/30168/task/30177/stat : 30177 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 303 0 0 0 56 54 0 0 20 0 17 0 657349015 204804096 16611 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30168/tid=30178] ppid=30166 vsize=200004 CPUtime=2.1
/proc/30168/task/30178/stat : 30178 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 568 0 0 0 106 104 0 0 20 0 17 0 657349015 204804096 16611 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30168/tid=30179] ppid=30166 vsize=200004 CPUtime=2.1
/proc/30168/task/30179/stat : 30179 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 306 0 0 0 98 112 0 0 20 0 17 0 657349015 204804096 16611 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30168/tid=30180] ppid=30166 vsize=200004 CPUtime=2.08
/proc/30168/task/30180/stat : 30180 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 543 0 0 0 102 106 0 0 20 0 17 0 657349015 204804096 16611 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30168/tid=30181] ppid=30166 vsize=200004 CPUtime=2.08
/proc/30168/task/30181/stat : 30181 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 469 0 0 0 90 118 0 0 20 0 17 0 657349015 204804096 16611 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30168/tid=30182] ppid=30166 vsize=200004 CPUtime=2.06
/proc/30168/task/30182/stat : 30182 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 349 0 0 0 106 100 0 0 20 0 17 0 657349015 204804096 16611 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134551461 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30168/tid=30183] ppid=30166 vsize=200004 CPUtime=2.1
/proc/30168/task/30183/stat : 30183 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 399 0 0 0 104 106 0 0 20 0 17 0 657349015 204804096 16611 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30168/tid=30184] ppid=30166 vsize=200004 CPUtime=2.1
/proc/30168/task/30184/stat : 30184 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 325 0 0 0 104 106 0 0 20 0 17 0 657349015 204804096 16611 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30168/tid=30185] ppid=30166 vsize=200004 CPUtime=2.1
/proc/30168/task/30185/stat : 30185 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 358 0 0 0 102 108 0 0 20 0 17 0 657349015 204804096 16612 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 32.54
Current children cumulated vsize (KiB) 200004

[startup+6.30373 s]
/proc/loadavg: 15.95 15.59 14.42 17/201 30185
/proc/meminfo: memFree=18894004/36427776 swapFree=4692/107040
[pid=30168] ppid=30166 vsize=250540 CPUtime=79.66
/proc/30168/stat : 30168 (ttsth-5-0) S 30166 30168 15497 0 -1 4202496 28980 0 0 0 5032 2934 0 0 20 0 17 0 657348921 256552960 28591 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30168/statm: 62635 28591 95 177 0 62457 0
[pid=30168/tid=30170] ppid=30166 vsize=250540 CPUtime=5.34
/proc/30168/task/30170/stat : 30170 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 2322 0 0 0 526 8 0 0 20 0 17 0 657349015 256552960 28591 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30168/tid=30171] ppid=30166 vsize=250540 CPUtime=5.22
/proc/30168/task/30171/stat : 30171 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 1149 0 0 0 300 222 0 0 20 0 17 0 657349015 256552960 28591 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30168/tid=30172] ppid=30166 vsize=250540 CPUtime=5.26
/proc/30168/task/30172/stat : 30172 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 1143 0 0 0 312 214 0 0 20 0 17 0 657349015 256552960 28591 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30168/tid=30173] ppid=30166 vsize=250540 CPUtime=4.3
/proc/30168/task/30173/stat : 30173 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 926 0 0 0 264 166 0 0 20 0 17 0 657349015 256552960 28591 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30168/tid=30174] ppid=30166 vsize=250540 CPUtime=5.24
/proc/30168/task/30174/stat : 30174 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 1071 0 0 0 316 208 0 0 20 0 17 0 657349015 256552960 28591 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30168/tid=30175] ppid=30166 vsize=250540 CPUtime=4.22
/proc/30168/task/30175/stat : 30175 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 865 0 0 0 276 146 0 0 20 0 17 0 657349015 256552960 28591 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134591217 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30168/tid=30176] ppid=30166 vsize=250540 CPUtime=5.24
/proc/30168/task/30176/stat : 30176 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 876 0 0 0 300 224 0 0 20 0 17 0 657349015 256552960 28591 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30168/tid=30177] ppid=30166 vsize=250540 CPUtime=2.68
/proc/30168/task/30177/stat : 30177 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 663 0 0 0 160 108 0 0 20 0 17 0 657349015 256552960 28591 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30168/tid=30178] ppid=30166 vsize=250540 CPUtime=5.26
/proc/30168/task/30178/stat : 30178 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 1597 0 0 0 326 200 0 0 20 0 17 0 657349015 256552960 28591 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30168/tid=30179] ppid=30166 vsize=250540 CPUtime=5.24
/proc/30168/task/30179/stat : 30179 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 1088 0 0 0 328 196 0 0 20 0 17 0 657349015 256552960 28592 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30168/tid=30180] ppid=30166 vsize=250540 CPUtime=5.22
/proc/30168/task/30180/stat : 30180 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 1412 0 0 0 310 212 0 0 20 0 17 0 657349015 256552960 28592 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30168/tid=30181] ppid=30166 vsize=250540 CPUtime=5.22
/proc/30168/task/30181/stat : 30181 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 1419 0 0 0 296 226 0 0 20 0 17 0 657349015 256552960 28592 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30168/tid=30182] ppid=30166 vsize=250540 CPUtime=5.12
/proc/30168/task/30182/stat : 30182 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 919 0 0 0 322 190 0 0 20 0 17 0 657349015 256552960 28592 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134562341 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30168/tid=30183] ppid=30166 vsize=250540 CPUtime=5.2
/proc/30168/task/30183/stat : 30183 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 1070 0 0 0 310 210 0 0 20 0 17 0 657349015 256552960 28592 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30168/tid=30184] ppid=30166 vsize=250540 CPUtime=5.24
/proc/30168/task/30184/stat : 30184 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 1343 0 0 0 320 204 0 0 20 0 17 0 657349015 256552960 28592 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30168/tid=30185] ppid=30166 vsize=250540 CPUtime=4.6
/proc/30168/task/30185/stat : 30185 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 959 0 0 0 274 186 0 0 20 0 17 0 657349015 256552960 28592 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 79.66
Current children cumulated vsize (KiB) 250540

[startup+12.7049 s]
/proc/loadavg: 15.96 15.60 14.44 17/201 30185
/proc/meminfo: memFree=18788336/36427776 swapFree=4692/212384
[pid=30168] ppid=30166 vsize=357932 CPUtime=174.39
/proc/30168/stat : 30168 (ttsth-5-0) S 30166 30168 15497 0 -1 4202496 54259 0 0 0 13001 4438 0 0 20 0 17 0 657348921 366522368 53870 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30168/statm: 89483 53871 95 177 0 89305 0
[pid=30168/tid=30170] ppid=30166 vsize=357932 CPUtime=11.74
/proc/30168/task/30170/stat : 30170 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 4378 0 0 0 1162 12 0 0 20 0 17 0 657349015 366522368 53871 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30168/tid=30171] ppid=30166 vsize=357932 CPUtime=11.5
/proc/30168/task/30171/stat : 30171 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 2851 0 0 0 818 332 0 0 20 0 17 0 657349015 366522368 53871 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30168/tid=30172] ppid=30166 vsize=357932 CPUtime=11.58
/proc/30168/task/30172/stat : 30172 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 2926 0 0 0 848 310 0 0 20 0 17 0 657349015 366522368 53871 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134591529 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30168/tid=30173] ppid=30166 vsize=357932 CPUtime=10.62
/proc/30168/task/30173/stat : 30173 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 2082 0 0 0 802 260 0 0 20 0 17 0 657349015 366522368 53871 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30168/tid=30174] ppid=30166 vsize=357932 CPUtime=9.22
/proc/30168/task/30174/stat : 30174 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 2149 0 0 0 642 280 0 0 20 0 17 0 657349015 366522368 53871 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30168/tid=30175] ppid=30166 vsize=357932 CPUtime=10.54
/proc/30168/task/30175/stat : 30175 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 2336 0 0 0 818 236 0 0 20 0 17 0 657349015 366522368 53871 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134565869 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30168/tid=30176] ppid=30166 vsize=357932 CPUtime=11.56
/proc/30168/task/30176/stat : 30176 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 2096 0 0 0 816 340 0 0 20 0 17 0 657349015 366522368 53871 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30168/tid=30177] ppid=30166 vsize=357932 CPUtime=5.92
/proc/30168/task/30177/stat : 30177 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 1587 0 0 0 402 190 0 0 20 0 17 0 657349015 366522368 53872 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0

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

/proc/30168/task/30173/stat : 30173 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 7805 0 0 0 4494 386 0 0 20 0 17 0 657349015 909168640 177614 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30168/tid=30174] ppid=30166 vsize=887860 CPUtime=43.31
/proc/30168/task/30174/stat : 30174 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 9346 0 0 0 3937 394 0 0 20 0 17 0 657349015 909168640 177614 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134591076 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30168/tid=30175] ppid=30166 vsize=887860 CPUtime=48.66
/proc/30168/task/30175/stat : 30175 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 8846 0 0 0 4496 370 0 0 20 0 17 0 657349015 909168640 177614 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30168/tid=30176] ppid=30166 vsize=887860 CPUtime=46.44
/proc/30168/task/30176/stat : 30176 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 10490 0 0 0 4170 474 0 0 20 0 17 0 657349015 909168640 177614 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134591174 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30168/tid=30177] ppid=30166 vsize=887860 CPUtime=25.16
/proc/30168/task/30177/stat : 30177 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 6094 0 0 0 2204 312 0 0 20 0 17 0 657349015 909168640 177614 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30168/tid=30178] ppid=30166 vsize=887860 CPUtime=49.75
/proc/30168/task/30178/stat : 30178 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 12711 0 0 0 4559 416 0 0 20 0 17 0 657349015 909168640 177614 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134562272 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30168/tid=30179] ppid=30166 vsize=887860 CPUtime=49.56
/proc/30168/task/30179/stat : 30179 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 10211 0 0 0 4504 452 0 0 20 0 17 0 657349015 909168640 177615 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30168/tid=30180] ppid=30166 vsize=887860 CPUtime=49.67
/proc/30168/task/30180/stat : 30180 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 10327 0 0 0 4521 446 0 0 20 0 17 0 657349015 909168640 177615 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30168/tid=30181] ppid=30166 vsize=887860 CPUtime=42.13
/proc/30168/task/30181/stat : 30181 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 11589 0 0 0 3713 500 0 0 20 0 17 0 657349015 909168640 177615 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30168/tid=30182] ppid=30166 vsize=887860 CPUtime=48.77
/proc/30168/task/30182/stat : 30182 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 9581 0 0 0 4489 388 0 0 20 0 17 0 657349015 909168640 177616 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134588280 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30168/tid=30183] ppid=30166 vsize=887860 CPUtime=48.69
/proc/30168/task/30183/stat : 30183 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 9587 0 0 0 4409 460 0 0 20 0 17 0 657349015 909168640 177616 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30168/tid=30184] ppid=30166 vsize=887860 CPUtime=48.21
/proc/30168/task/30184/stat : 30184 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 11678 0 0 0 4357 464 0 0 20 0 17 0 657349015 909168640 177616 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30168/tid=30185] ppid=30166 vsize=887860 CPUtime=45.99
/proc/30168/task/30185/stat : 30185 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 10804 0 0 0 4171 428 0 0 20 0 17 0 657349015 909168640 177616 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 744.09
Current children cumulated vsize (KiB) 887860

[startup+102.313 s]
/proc/loadavg: 15.75 15.58 14.54 17/201 30190
/proc/meminfo: memFree=17733188/36427776 swapFree=4692/1264884
[pid=30168] ppid=30166 vsize=1472460 CPUtime=1548.34
/proc/30168/stat : 30168 (ttsth-5-0) S 30166 30168 15497 0 -1 4202496 314862 0 0 0 146937 7897 0 0 20 0 17 0 657348921 1507799040 314473 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30168/statm: 368115 314473 95 177 0 367937 0
[pid=30168/tid=30170] ppid=30166 vsize=1472460 CPUtime=101.17
/proc/30168/task/30170/stat : 30170 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 23732 0 0 0 10061 56 0 0 20 0 17 0 657349015 1507799040 314473 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134751534 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30168/tid=30171] ppid=30166 vsize=1472460 CPUtime=99.15
/proc/30168/task/30171/stat : 30171 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 21339 0 0 0 9293 622 0 0 20 0 17 0 657349015 1507799040 314473 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134591106 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30168/tid=30172] ppid=30166 vsize=1472460 CPUtime=100.85
/proc/30168/task/30172/stat : 30172 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 22203 0 0 0 9613 472 0 0 20 0 17 0 657349015 1507799040 314474 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30168/tid=30173] ppid=30166 vsize=1472460 CPUtime=99.82
/proc/30168/task/30173/stat : 30173 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 13149 0 0 0 9516 466 0 0 20 0 17 0 657349015 1507799040 314474 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134592044 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30168/tid=30174] ppid=30166 vsize=1472460 CPUtime=89.67
/proc/30168/task/30174/stat : 30174 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 17838 0 0 0 8459 508 0 0 20 0 17 0 657349015 1507799040 314475 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30168/tid=30175] ppid=30166 vsize=1472460 CPUtime=99.68
/proc/30168/task/30175/stat : 30175 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 17665 0 0 0 9488 480 0 0 20 0 17 0 657349015 1507799040 314475 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134589770 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30168/tid=30176] ppid=30166 vsize=1472460 CPUtime=94.1
/proc/30168/task/30176/stat : 30176 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 16826 0 0 0 8870 540 0 0 20 0 17 0 657349015 1507799040 314475 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134591112 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30168/tid=30177] ppid=30166 vsize=1472460 CPUtime=73.94
/proc/30168/task/30177/stat : 30177 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 15361 0 0 0 6962 432 0 0 20 0 17 0 657349015 1507799040 314475 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30168/tid=30178] ppid=30166 vsize=1472460 CPUtime=100.78
/proc/30168/task/30178/stat : 30178 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 23781 0 0 0 9560 518 0 0 20 0 17 0 657349015 1507799040 314475 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30168/tid=30179] ppid=30166 vsize=1472460 CPUtime=100.56
/proc/30168/task/30179/stat : 30179 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 18385 0 0 0 9520 536 0 0 20 0 17 0 657349015 1507799040 314475 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30168/tid=30180] ppid=30166 vsize=1472460 CPUtime=100.71
/proc/30168/task/30180/stat : 30180 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 17913 0 0 0 9529 542 0 0 20 0 17 0 657349015 1507799040 314475 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30168/tid=30181] ppid=30166 vsize=1472460 CPUtime=93.04
/proc/30168/task/30181/stat : 30181 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 23766 0 0 0 8686 618 0 0 20 0 17 0 657349015 1507799040 314475 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134593182 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30168/tid=30182] ppid=30166 vsize=1472460 CPUtime=98.82
/proc/30168/task/30182/stat : 30182 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 16228 0 0 0 9416 466 0 0 20 0 17 0 657349015 1507799040 314475 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134680727 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30168/tid=30183] ppid=30166 vsize=1472460 CPUtime=99.67
/proc/30168/task/30183/stat : 30183 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 16903 0 0 0 9431 536 0 0 20 0 17 0 657349015 1507799040 314475 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30168/tid=30184] ppid=30166 vsize=1472460 CPUtime=99.25
/proc/30168/task/30184/stat : 30184 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 18415 0 0 0 9367 558 0 0 20 0 17 0 657349015 1507799040 314475 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30168/tid=30185] ppid=30166 vsize=1472460 CPUtime=96.06
/proc/30168/task/30185/stat : 30185 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 21201 0 0 0 9072 534 0 0 20 0 17 0 657349015 1507799040 314475 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134580209 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1548.34
Current children cumulated vsize (KiB) 1472460

[startup+162.301 s]
/proc/loadavg: 15.87 15.64 14.62 17/201 30190
/proc/meminfo: memFree=17181192/36427776 swapFree=4692/1814364
[pid=30168] ppid=30166 vsize=2067048 CPUtime=2505.63
/proc/30168/stat : 30168 (ttsth-5-0) S 30166 30168 15497 0 -1 4202496 454189 0 0 0 241499 9064 0 0 20 0 17 0 657348921 2116657152 453800 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30168/statm: 516762 453800 95 177 0 516584 0
[pid=30168/tid=30170] ppid=30166 vsize=2067048 CPUtime=161.13
/proc/30168/task/30170/stat : 30170 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 34671 0 0 0 16031 82 0 0 20 0 17 0 657349015 2116657152 453800 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30168/tid=30171] ppid=30166 vsize=2067048 CPUtime=159.02
/proc/30168/task/30171/stat : 30171 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 29508 0 0 0 15196 706 0 0 20 0 17 0 657349015 2116657152 453800 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30168/tid=30172] ppid=30166 vsize=2067048 CPUtime=160.72
/proc/30168/task/30172/stat : 30172 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 32209 0 0 0 15516 556 0 0 20 0 17 0 657349015 2116657152 453800 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30168/tid=30173] ppid=30166 vsize=2067048 CPUtime=159.72
/proc/30168/task/30173/stat : 30173 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 20385 0 0 0 15432 540 0 0 20 0 17 0 657349015 2116657152 453800 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134590285 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30168/tid=30174] ppid=30166 vsize=2067048 CPUtime=149.55
/proc/30168/task/30174/stat : 30174 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 31699 0 0 0 14369 586 0 0 20 0 17 0 657349015 2116657152 453800 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30168/tid=30175] ppid=30166 vsize=2067048 CPUtime=159.58
/proc/30168/task/30175/stat : 30175 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 25204 0 0 0 15408 550 0 0 20 0 17 0 657349015 2116657152 453800 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30168/tid=30176] ppid=30166 vsize=2067048 CPUtime=154.03
/proc/30168/task/30176/stat : 30176 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 22271 0 0 0 14787 616 0 0 20 0 17 0 657349015 2116657152 453800 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30168/tid=30177] ppid=30166 vsize=2067048 CPUtime=133.86
/proc/30168/task/30177/stat : 30177 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 20561 0 0 0 12882 504 0 0 20 0 17 0 657349015 2116657152 453800 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30168/tid=30178] ppid=30166 vsize=2067048 CPUtime=160.67
/proc/30168/task/30178/stat : 30178 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 34879 0 0 0 15469 598 0 0 20 0 17 0 657349015 2116657152 453800 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30168/tid=30179] ppid=30166 vsize=2067048 CPUtime=160.47
/proc/30168/task/30179/stat : 30179 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 25879 0 0 0 15439 608 0 0 20 0 17 0 657349015 2116657152 453800 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30168/tid=30180] ppid=30166 vsize=2067048 CPUtime=160.58
/proc/30168/task/30180/stat : 30180 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 27175 0 0 0 15426 632 0 0 20 0 17 0 657349015 2116657152 453800 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30168/tid=30181] ppid=30166 vsize=2067048 CPUtime=152.91
/proc/30168/task/30181/stat : 30181 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 35748 0 0 0 14587 704 0 0 20 0 17 0 657349015 2116657152 453800 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30168/tid=30182] ppid=30166 vsize=2067048 CPUtime=157.56
/proc/30168/task/30182/stat : 30182 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 23429 0 0 0 15218 538 0 0 20 0 17 0 657349015 2116657152 453800 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134562278 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30168/tid=30183] ppid=30166 vsize=2067048 CPUtime=159.6
/proc/30168/task/30183/stat : 30183 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 25741 0 0 0 15356 604 0 0 20 0 17 0 657349015 2116657152 453800 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30168/tid=30184] ppid=30166 vsize=2067048 CPUtime=159.15
/proc/30168/task/30184/stat : 30184 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 25177 0 0 0 15285 630 0 0 20 0 17 0 657349015 2116657152 453800 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30168/tid=30185] ppid=30166 vsize=2067048 CPUtime=155.96
/proc/30168/task/30185/stat : 30185 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 29495 0 0 0 14998 598 0 0 20 0 17 0 657349015 2116657152 453800 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 2505.63
Current children cumulated vsize (KiB) 2067048



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+165.605 s]
/proc/loadavg: 15.87 15.64 14.62 17/201 30190
/proc/meminfo: memFree=17148208/36427776 swapFree=4692/1847848
[pid=30168] ppid=30166 vsize=2096140 CPUtime=2558.54
/proc/30168/stat : 30168 (ttsth-5-0) S 30166 30168 15497 0 -1 4202496 460926 0 0 0 246748 9106 0 0 20 0 17 0 657348921 2146447360 460537 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30168/statm: 524035 460537 95 177 0 523857 0
[pid=30168/tid=30170] ppid=30166 vsize=2096140 CPUtime=164.47
/proc/30168/task/30170/stat : 30170 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 35131 0 0 0 16363 84 0 0 20 0 17 0 657349015 2146447360 460538 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30168/tid=30171] ppid=30166 vsize=2096140 CPUtime=162.31
/proc/30168/task/30171/stat : 30171 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 30053 0 0 0 15525 706 0 0 20 0 17 0 657349015 2146447360 460538 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30168/tid=30172] ppid=30166 vsize=2096140 CPUtime=164.04
/proc/30168/task/30172/stat : 30172 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 32614 0 0 0 15844 560 0 0 20 0 17 0 657349015 2146447360 460538 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30168/tid=30173] ppid=30166 vsize=2096140 CPUtime=163.03
/proc/30168/task/30173/stat : 30173 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 20778 0 0 0 15759 544 0 0 20 0 17 0 657349015 2146447360 460538 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30168/tid=30174] ppid=30166 vsize=2096140 CPUtime=152.87
/proc/30168/task/30174/stat : 30174 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 32543 0 0 0 14699 588 0 0 20 0 17 0 657349015 2146447360 460538 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30168/tid=30175] ppid=30166 vsize=2096140 CPUtime=162.88
/proc/30168/task/30175/stat : 30175 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 25423 0 0 0 15736 552 0 0 20 0 17 0 657349015 2146447360 460538 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30168/tid=30176] ppid=30166 vsize=2096140 CPUtime=157.35
/proc/30168/task/30176/stat : 30176 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 22549 0 0 0 15115 620 0 0 20 0 17 0 657349015 2146447360 460538 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30168/tid=30177] ppid=30166 vsize=2096140 CPUtime=137.17
/proc/30168/task/30177/stat : 30177 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 20839 0 0 0 13209 508 0 0 20 0 17 0 657349015 2146447360 460538 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30168/tid=30178] ppid=30166 vsize=2096140 CPUtime=163.99
/proc/30168/task/30178/stat : 30178 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 35387 0 0 0 15797 602 0 0 20 0 17 0 657349015 2146447360 460538 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30168/tid=30179] ppid=30166 vsize=2096140 CPUtime=163.78
/proc/30168/task/30179/stat : 30179 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 26293 0 0 0 15770 608 0 0 20 0 17 0 657349015 2146447360 460538 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30168/tid=30180] ppid=30166 vsize=2096140 CPUtime=163.89
/proc/30168/task/30180/stat : 30180 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 27569 0 0 0 15751 638 0 0 20 0 17 0 657349015 2146447360 460538 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30168/tid=30181] ppid=30166 vsize=2096140 CPUtime=156.22
/proc/30168/task/30181/stat : 30181 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 36239 0 0 0 14916 706 0 0 20 0 17 0 657349015 2146447360 460538 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30168/tid=30182] ppid=30166 vsize=2096140 CPUtime=160.79
/proc/30168/task/30182/stat : 30182 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 23854 0 0 0 15539 540 0 0 20 0 17 0 657349015 2146447360 460540 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30168/tid=30183] ppid=30166 vsize=2096140 CPUtime=162.91
/proc/30168/task/30183/stat : 30183 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 26076 0 0 0 15685 606 0 0 20 0 17 0 657349015 2146447360 460540 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30168/tid=30184] ppid=30166 vsize=2096140 CPUtime=162.46
/proc/30168/task/30184/stat : 30184 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 25576 0 0 0 15614 632 0 0 20 0 17 0 657349015 2146447360 460540 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30168/tid=30185] ppid=30166 vsize=2096140 CPUtime=159.27
/proc/30168/task/30185/stat : 30185 (ttsth-5-0) R 30166 30168 15497 0 -1 4202560 29845 0 0 0 15327 600 0 0 20 0 17 0 657349015 2146447360 460540 18446744073709551615 134512640 135237372 4291046176 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 2558.54
Current children cumulated vsize (KiB) 2096140

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

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

[startup+165.802 s]
/proc/loadavg: 15.87 15.64 14.62 17/201 30190
/proc/meminfo: memFree=17148208/36427776 swapFree=4692/1847848
[pid=30168] ppid=30166 vsize=0 CPUtime=2558.87
/proc/30168/stat : 30168 (ttsth-5-0) Z 30166 30168 15497 0 -1 4203532 460939 0 0 0 246761 9126 0 0 20 0 2 0 657348921 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30168/statm: 0 0 0 0 0 0 0
[pid=30168/tid=30177] ppid=30166 vsize=0 CPUtime=137.35
/proc/30168/task/30177/stat : 30177 (ttsth-5-0) R 30166 30168 15497 0 -1 4203588 20840 0 0 0 13211 524 0 0 20 0 2 0 657349015 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2558.87
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 165.822
CPU time (s): 2558.91
CPU user time (s): 2467.63
CPU system time (s): 91.2777
CPU usage (%): 1543.17
Max. virtual memory (cumulated for all children) (KiB): 2096140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2467.63
system time used= 91.2777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460939
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= 97784
involuntary context switches= 7655

runsolver used 0.860053 second user time and 2.36815 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 13:53:46
IDJOB=1781025
IDBENCH=71089
IDSOLVER=634
FILE ID=xenhost3-49/1781025-1244980425
PBS_JOBID=
Free space on /tmp= 7021 MiB

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

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

MD5SUM BENCH= feb620c17f2a4d7899a2e7883baa7391
RANDOM SEED= 1589311290

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:      18989324 kB
Buffers:        524824 kB
Cached:       14119528 kB
SwapCached:          0 kB
Active:        4170820 kB
Inactive:     10481476 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2148 kB
Writeback:           0 kB
AnonPages:        7852 kB
Mapped:           3052 kB
Slab:           733668 kB
SReclaimable:   706732 kB
SUnreclaim:      26936 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29496 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7021 MiB
End job on xenhost3-49 at 2009-06-14 13:56:33