Trace number 1781010

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) 2059.73 133.519

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_13_UNSAT.cnf
MD5SUMd4e16a803f6cd0903a2bd3e7157287b3
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 variables2730
Number of clauses271285
Sum of the clauses size809746
Maximum clause length14
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24450
Number of clauses of size 3266804
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data 

0.30/0.31	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781010-1244980290.cnf 
0.30/0.31	c Using SATTIMEOUT of 10000
0.30/0.31	c Using SATRAM of 2047
0.30/0.31	c Size of subset node = 16
0.30/0.31	c Variables = 2730
0.30/0.31	c Clauses = 271285
0.30/0.31	c Literals = 809746
0.30/0.31	c Reduced size:
0.30/0.31	c Variables = 2730
0.30/0.31	c Clauses = 271285
0.30/0.31	c Literals = 809746
0.30/0.31	c a2
0.80/0.82	c a1
1.90/1.90	c Independent sub-problems = 1
1.90/1.90	c Sub-problem with 2730 variables and 271285 clauses
1.90/1.90	c using permutation method 4
1.90/1.90	c count = 1
1.90/1.90	c Ordering finished 1.810 seconds
1.90/1.90	c mapped 1.900 seconds
1.90/1.90	c permuted 1.900 seconds
1.90/1.90	c about to sort
1.90/1.97	c sorted
3.78/3.87	c clauses now 271285
3.78/3.87	c init finished 2.020 seconds
3.78/3.87	c tree built 3.870 seconds
3.78/3.87	c 
3.78/3.87	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
3.78/3.87	c ---------------------------------|----------------------------------|------------------------------------------------------
3.78/3.87	c ................................ | ..........                       |                        3.9           0.0             
3.78/3.87	c ................................ | ..........                     1 |                        3.9           0.3             
3.78/3.87	c ................................ | ..........                     2 |                        3.9           0.5             
3.78/3.87	c ................................ | ..........                     3 |                        3.9           0.8             
3.78/3.87	c ................................ | ..........                     4 |                        3.9           1.0             
3.78/3.87	c ................................ | ..........                     5 |                        3.9           1.3             
8.71/4.26	c ................................ | ..........                  1000 | 2                      7.2         139.3        72338
239.20/18.93	c ................................ | ..........                260000 | 8075                 200.7        1295.5     11479964
452.62/32.46	c ................................ | ..........                421000 | 11445                400.7        1050.7     23067052
657.42/45.39	c ................................ | ..........                567000 | 15075                600.7         943.9     35401292
862.76/58.29	c ................................ | ..........                693000 | 21091                801.8         864.3     47121757
1064.62/70.97	c ................................ | *.........                786000 | 31732               1000.5         785.6     58149122
1267.02/83.63	c ................................ | *.........                895000 | 45614               1200.1         745.8     68935569
1469.15/96.36	c ................................ | *.........               1004000 | 55399               1401.0         716.6     78460200
1671.78/109.06	c ................................ | *.........               1099000 | 57132               1602.2         685.9     88722474
1870.98/121.57	c ................................ | *.........               1189000 | 59348               1800.7         660.3     98019912

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-1781010-1244980290/watcher-1781010-1244980290 -o /tmp/evaluation-result-1781010-1244980290/solver-1781010-1244980290 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781010-1244980290.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.56 14.25 2/184 30113
/proc/meminfo: memFree=18984968/36427776 swapFree=4524/8488
[pid=30113] ppid=30111 vsize=1540 CPUtime=0
/proc/30113/stat : 30113 (ttsth-5-0) R 30111 30113 15497 0 -1 4202496 279 0 0 0 0 0 0 0 20 0 1 0 657335373 1576960 235 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/30113/statm: 385 235 75 177 0 207 0

[startup+0.033244 s]
/proc/loadavg: 15.95 15.56 14.25 2/184 30113
/proc/meminfo: memFree=18984968/36427776 swapFree=4524/8488
[pid=30113] ppid=30111 vsize=3024 CPUtime=0.02
/proc/30113/stat : 30113 (ttsth-5-0) R 30111 30113 15497 0 -1 4202496 633 0 0 0 2 0 0 0 20 0 1 0 657335373 3096576 589 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/30113/statm: 756 590 75 177 0 578 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3024

[startup+0.10124 s]
/proc/loadavg: 15.95 15.56 14.25 2/184 30113
/proc/meminfo: memFree=18984968/36427776 swapFree=4524/8488
[pid=30113] ppid=30111 vsize=7232 CPUtime=0.1
/proc/30113/stat : 30113 (ttsth-5-0) R 30111 30113 15497 0 -1 4202496 1666 0 0 0 10 0 0 0 20 0 1 0 657335373 7405568 1622 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/30113/statm: 1808 1623 75 177 0 1630 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7232

[startup+0.301294 s]
/proc/loadavg: 15.95 15.56 14.25 2/184 30113
/proc/meminfo: memFree=18984968/36427776 swapFree=4524/8488
[pid=30113] ppid=30111 vsize=17144 CPUtime=0.3
/proc/30113/stat : 30113 (ttsth-5-0) R 30111 30113 15497 0 -1 4202496 4129 0 0 0 26 4 0 0 20 0 1 0 657335373 17555456 4085 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134534088 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/30113/statm: 4286 4085 75 177 0 4108 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 17144

[startup+0.701287 s]
/proc/loadavg: 15.95 15.56 14.25 2/184 30113
/proc/meminfo: memFree=18984968/36427776 swapFree=4524/8488
[pid=30113] ppid=30111 vsize=36292 CPUtime=0.7
/proc/30113/stat : 30113 (ttsth-5-0) R 30111 30113 15497 0 -1 4202496 8463 0 0 0 66 4 0 0 20 0 1 0 657335373 37163008 8418 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134749343 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/30113/statm: 9073 8418 76 177 0 8895 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 36292

[startup+1.50137 s]
/proc/loadavg: 15.95 15.56 14.25 2/185 30114
/proc/meminfo: memFree=18950104/36427776 swapFree=4676/42304
[pid=30113] ppid=30111 vsize=38792 CPUtime=1.5
/proc/30113/stat : 30113 (ttsth-5-0) R 30111 30113 15497 0 -1 4202496 10133 0 0 0 144 6 0 0 20 0 1 0 657335373 39723008 9558 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134600975 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/30113/statm: 9698 9558 77 177 0 9520 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 38792

[startup+3.10152 s]
/proc/loadavg: 14.75 15.32 14.17 2/185 30114
/proc/meminfo: memFree=18928452/36427776 swapFree=4592/65132
[pid=30113] ppid=30111 vsize=78020 CPUtime=3.1
/proc/30113/stat : 30113 (ttsth-5-0) R 30111 30113 15497 0 -1 4202496 20216 0 0 0 300 10 0 0 20 0 1 0 657335373 79892480 19335 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134551480 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/30113/statm: 19505 19335 88 177 0 19327 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 78020

[startup+6.3038 s]
/proc/loadavg: 14.75 15.32 14.17 17/201 30130
/proc/meminfo: memFree=18871092/36427776 swapFree=4692/124416
[pid=30113] ppid=30111 vsize=262016 CPUtime=41.35
/proc/30113/stat : 30113 (ttsth-5-0) S 30111 30113 15497 0 -1 4202496 33761 0 0 0 2274 1861 0 0 20 0 17 0 657335373 268304384 32419 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30113/statm: 65504 32419 95 177 0 65326 0
[pid=30113/tid=30115] ppid=30111 vsize=262016 CPUtime=2.44
/proc/30113/task/30115/stat : 30115 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 1092 0 0 0 216 28 0 0 20 0 17 0 657335761 268304384 32419 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134561540 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30113/tid=30116] ppid=30111 vsize=262016 CPUtime=2.34
/proc/30113/task/30116/stat : 30116 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 452 0 0 0 116 118 0 0 20 0 17 0 657335761 268304384 32419 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30113/tid=30117] ppid=30111 vsize=262016 CPUtime=2.34
/proc/30113/task/30117/stat : 30117 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 345 0 0 0 110 124 0 0 20 0 17 0 657335761 268304384 32419 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30113/tid=30118] ppid=30111 vsize=262016 CPUtime=2.32
/proc/30113/task/30118/stat : 30118 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 371 0 0 0 112 120 0 0 20 0 17 0 657335761 268304384 32419 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30113/tid=30119] ppid=30111 vsize=262016 CPUtime=2.34
/proc/30113/task/30119/stat : 30119 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 293 0 0 0 118 116 0 0 20 0 17 0 657335761 268304384 32419 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30113/tid=30120] ppid=30111 vsize=262016 CPUtime=2.34
/proc/30113/task/30120/stat : 30120 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 554 0 0 0 122 112 0 0 20 0 17 0 657335761 268304384 32420 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30113/tid=30121] ppid=30111 vsize=262016 CPUtime=2.32
/proc/30113/task/30121/stat : 30121 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 547 0 0 0 100 132 0 0 20 0 17 0 657335761 268304384 32420 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30113/tid=30122] ppid=30111 vsize=262016 CPUtime=2.32
/proc/30113/task/30122/stat : 30122 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 431 0 0 0 112 120 0 0 20 0 17 0 657335761 268304384 32420 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30113/tid=30123] ppid=30111 vsize=262016 CPUtime=2.32
/proc/30113/task/30123/stat : 30123 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 325 0 0 0 100 132 0 0 20 0 17 0 657335761 268304384 32420 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30113/tid=30124] ppid=30111 vsize=262016 CPUtime=2.34
/proc/30113/task/30124/stat : 30124 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 328 0 0 0 116 118 0 0 20 0 17 0 657335761 268304384 32420 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30113/tid=30125] ppid=30111 vsize=262016 CPUtime=2.32
/proc/30113/task/30125/stat : 30125 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 379 0 0 0 110 122 0 0 20 0 17 0 657335761 268304384 32420 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30113/tid=30126] ppid=30111 vsize=262016 CPUtime=2.32
/proc/30113/task/30126/stat : 30126 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 396 0 0 0 112 120 0 0 20 0 17 0 657335761 268304384 32420 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30113/tid=30127] ppid=30111 vsize=262016 CPUtime=2.32
/proc/30113/task/30127/stat : 30127 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 272 0 0 0 110 122 0 0 20 0 17 0 657335761 268304384 32420 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30113/tid=30128] ppid=30111 vsize=262016 CPUtime=2.3
/proc/30113/task/30128/stat : 30128 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 371 0 0 0 108 122 0 0 20 0 17 0 657335761 268304384 32420 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134591054 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30113/tid=30129] ppid=30111 vsize=262016 CPUtime=2.34
/proc/30113/task/30129/stat : 30129 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 650 0 0 0 120 114 0 0 20 0 17 0 657335761 268304384 32420 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30113/tid=30130] ppid=30111 vsize=262016 CPUtime=2.34
/proc/30113/task/30130/stat : 30130 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 456 0 0 0 110 124 0 0 20 0 17 0 657335761 268304384 32420 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 41.35
Current children cumulated vsize (KiB) 262016

[startup+12.7063 s]
/proc/loadavg: 14.95 15.34 14.19 17/201 30130
/proc/meminfo: memFree=18784768/36427776 swapFree=4692/211552
[pid=30113] ppid=30111 vsize=350380 CPUtime=141.66
/proc/30113/stat : 30113 (ttsth-5-0) S 30111 30113 15497 0 -1 4202496 54641 0 0 0 9311 4855 0 0 20 0 17 0 657335373 358789120 53299 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30113/statm: 87595 53299 95 177 0 87417 0
[pid=30113/tid=30115] ppid=30111 vsize=350380 CPUtime=8.82
/proc/30113/task/30115/stat : 30115 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 2953 0 0 0 854 28 0 0 20 0 17 0 657335761 358789120 53300 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134592184 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30113/tid=30116] ppid=30111 vsize=350380 CPUtime=8.6
/proc/30113/task/30116/stat : 30116 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 2067 0 0 0 538 322 0 0 20 0 17 0 657335761 358789120 53300 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30113/tid=30117] ppid=30111 vsize=350380 CPUtime=8.64
/proc/30113/task/30117/stat : 30117 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 2024 0 0 0 556 308 0 0 20 0 17 0 657335761 358789120 53300 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30113/tid=30118] ppid=30111 vsize=350380 CPUtime=8.62
/proc/30113/task/30118/stat : 30118 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 1395 0 0 0 544 318 0 0 20 0 17 0 657335761 358789120 53300 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30113/tid=30119] ppid=30111 vsize=350380 CPUtime=8.6
/proc/30113/task/30119/stat : 30119 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 1150 0 0 0 544 316 0 0 20 0 17 0 657335761 358789120 53300 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30113/tid=30120] ppid=30111 vsize=350380 CPUtime=8.62
/proc/30113/task/30120/stat : 30120 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 1614 0 0 0 536 326 0 0 20 0 17 0 657335761 358789120 53300 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30113/tid=30121] ppid=30111 vsize=350380 CPUtime=8.58
/proc/30113/task/30121/stat : 30121 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 1919 0 0 0 540 318 0 0 20 0 17 0 657335761 358789120 53300 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30113/tid=30122] ppid=30111 vsize=350380 CPUtime=8.58
/proc/30113/task/30122/stat : 30122 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 1210 0 0 0 510 348 0 0 20 0 17 0 657335761 358789120 53300 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134591082 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30113/tid=30123] ppid=30111 vsize=350380 CPUtime=8.54
/proc/30113/task/30123/stat : 30123 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 846 0 0 0 508 346 0 0 20 0 17 0 657335761 358789120 53300 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30113/tid=30124] ppid=30111 vsize=350380 CPUtime=8.58
/proc/30113/task/30124/stat : 30124 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 1522 0 0 0 538 320 0 0 20 0 17 0 657335761 358789120 53301 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30113/tid=30125] ppid=30111 vsize=350380 CPUtime=8.6
/proc/30113/task/30125/stat : 30125 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 1447 0 0 0 546 314 0 0 20 0 17 0 657335761 358789120 53301 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30113/tid=30126] ppid=30111 vsize=350380 CPUtime=8.62
/proc/30113/task/30126/stat : 30126 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 1764 0 0 0 528 334 0 0 20 0 17 0 657335761 358789120 53301 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30113/tid=30127] ppid=30111 vsize=350380 CPUtime=8.58
/proc/30113/task/30127/stat : 30127 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 1352 0 0 0 548 310 0 0 20 0 17 0 657335761 358789120 53301 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30113/tid=30128] ppid=30111 vsize=350380 CPUtime=8.44
/proc/30113/task/30128/stat : 30128 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 1039 0 0 0 506 338 0 0 20 0 17 0 657335761 358789120 53301 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30113/tid=30129] ppid=30111 vsize=350380 CPUtime=8.66
/proc/30113/task/30129/stat : 30129 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 4541 0 0 0 600 266 0 0 20 0 17 0 657335761 358789120 53301 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30113/tid=30130] ppid=30111 vsize=350380 CPUtime=8.6
/proc/30113/task/30130/stat : 30130 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 1300 0 0 0 536 324 0 0 20 0 17 0 657335761 358789120 53301 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 141.66
Current children cumulated vsize (KiB) 350380

[startup+25.5041 s]
/proc/loadavg: 15.18 15.38 14.22 17/201 30130
/proc/meminfo: memFree=18606208/36427776 swapFree=4692/390568
[pid=30113] ppid=30111 vsize=535536 CPUtime=343.36
/proc/30113/stat : 30113 (ttsth-5-0) S 30111 30113 15497 0 -1 4202496 98150 0 0 0 26066 8270 0 0 20 0 17 0 657335373 548388864 96808 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30113/statm: 133884 96808 95 177 0 133706 0
[pid=30113/tid=30115] ppid=30111 vsize=535536 CPUtime=21.58
/proc/30113/task/30115/stat : 30115 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 5248 0 0 0 2130 28 0 0 20 0 17 0 657335761 548388864 96809 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134590285 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30113/tid=30116] ppid=30111 vsize=535536 CPUtime=21.22
/proc/30113/task/30116/stat : 30116 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 5115 0 0 0 1570 552 0 0 20 0 17 0 657335761 548388864 96809 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30113/tid=30117] ppid=30111 vsize=535536 CPUtime=21.28
/proc/30113/task/30117/stat : 30117 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 3537 0 0 0 1594 534 0 0 20 0 17 0 657335761 548388864 96809 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30113/tid=30118] ppid=30111 vsize=535536 CPUtime=21.24
/proc/30113/task/30118/stat : 30118 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 3819 0 0 0 1572 552 0 0 20 0 17 0 657335761 548388864 96809 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30113/tid=30119] ppid=30111 vsize=535536 CPUtime=21.24
/proc/30113/task/30119/stat : 30119 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 3072 0 0 0 1572 552 0 0 20 0 17 0 657335761 548388864 96809 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30113/tid=30120] ppid=30111 vsize=535536 CPUtime=21.28
/proc/30113/task/30120/stat : 30120 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 4338 0 0 0 1584 544 0 0 20 0 17 0 657335761 548388864 96809 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30113/tid=30121] ppid=30111 vsize=535536 CPUtime=21.18
/proc/30113/task/30121/stat : 30121 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 5702 0 0 0 1582 536 0 0 20 0 17 0 657335761 548388864 96809 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30113/tid=30122] ppid=30111 vsize=535536 CPUtime=21.16
/proc/30113/task/30122/stat : 30122 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 4026 0 0 0 1544 572 0 0 20 0 17 0 657335761 548388864 96809 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134588746 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30113/tid=30123] ppid=30111 vsize=535536 CPUtime=21.04
/proc/30113/task/30123/stat : 30123 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 2551 0 0 0 1500 604 0 0 20 0 17 0 657335761 548388864 96810 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30113/tid=30124] ppid=30111 vsize=535536 CPUtime=21.2
/proc/30113/task/30124/stat : 30124 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 4155 0 0 0 1566 554 0 0 20 0 17 0 657335761 548388864 96810 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134590278 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30113/tid=30125] ppid=30111 vsize=535536 CPUtime=21.18
/proc/30113/task/30125/stat : 30125 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 3320 0 0 0 1554 564 0 0 20 0 17 0 657335761 548388864 96811 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134593484 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30113/tid=30126] ppid=30111 vsize=535536 CPUtime=21.22
/proc/30113/task/30126/stat : 30126 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 3458 0 0 0 1576 546 0 0 20 0 17 0 657335761 548388864 96811 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30113/tid=30127] ppid=30111 vsize=535536 CPUtime=21.2
/proc/30113/task/30127/stat : 30127 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 3585 0 0 0 1564 556 0 0 20 0 17 0 657335761 548388864 96811 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134590281 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30113/tid=30128] ppid=30111 vsize=535536 CPUtime=20.78
/proc/30113/task/30128/stat : 30128 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 4098 0 0 0 1502 576 0 0 20 0 17 0 657335761 548388864 96811 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134587952 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30113/tid=30129] ppid=30111 vsize=535536 CPUtime=21.36
/proc/30113/task/30129/stat : 30129 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 11909 0 0 0 1700 436 0 0 20 0 17 0 657335761 548388864 96811 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30113/tid=30130] ppid=30111 vsize=535536 CPUtime=21.2
/proc/30113/task/30130/stat : 30130 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 3718 0 0 0 1574 546 0 0 20 0 17 0 657335761 548388864 96811 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 343.36
Current children cumulated vsize (KiB) 535536

[startup+51.104 s]
/proc/loadavg: 15.46 15.43 14.26 17/201 30130
/proc/meminfo: memFree=18212252/36427776 swapFree=4692/786152
[pid=30113] ppid=30111 vsize=960288 CPUtime=749.65
/proc/30113/stat : 30113 (ttsth-5-0) S 30111 30113 15497 0 -1 4202496 197778 0 0 0 64176 10789 0 0 20 0 17 0 657335373 983334912 196436 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30113/statm: 240072 196436 95 177 0 239894 0
[pid=30113/tid=30115] ppid=30111 vsize=960288 CPUtime=47.16
/proc/30113/task/30115/stat : 30115 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 9682 0 0 0 4680 36 0 0 20 0 17 0 657335761 983334912 196436 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30113/tid=30116] ppid=30111 vsize=960288 CPUtime=46.62
/proc/30113/task/30116/stat : 30116 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 11804 0 0 0 3948 714 0 0 20 0 17 0 657335761 983334912 196436 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30113/tid=30117] ppid=30111 vsize=960288 CPUtime=46.75
/proc/30113/task/30117/stat : 30117 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 11539 0 0 0 3993 682 0 0 20 0 17 0 657335761 983334912 196436 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134749351 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30113/tid=30118] ppid=30111 vsize=960288 CPUtime=46.65
/proc/30113/task/30118/stat : 30118 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 7508 0 0 0 3943 722 0 0 20 0 17 0 657335761 983334912 196436 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30113/tid=30119] ppid=30111 vsize=960288 CPUtime=46.67
/proc/30113/task/30119/stat : 30119 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 7666 0 0 0 3951 716 0 0 20 0 17 0 657335761 983334912 196436 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30113/tid=30120] ppid=30111 vsize=960288 CPUtime=46.7
/proc/30113/task/30120/stat : 30120 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 8278 0 0 0 3946 724 0 0 20 0 17 0 657335761 983334912 196437 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30113/tid=30121] ppid=30111 vsize=960288 CPUtime=46.61
/proc/30113/task/30121/stat : 30121 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 11549 0 0 0 3975 686 0 0 20 0 17 0 657335761 983334912 196437 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134590241 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30113/tid=30122] ppid=30111 vsize=960288 CPUtime=46.56
/proc/30113/task/30122/stat : 30122 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 9711 0 0 0 3920 736 0 0 20 0 17 0 657335761 983334912 196437 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134592308 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30113/tid=30123] ppid=30111 vsize=960288 CPUtime=46.39
/proc/30113/task/30123/stat : 30123 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 6822 0 0 0 3839 800 0 0 20 0 17 0 657335761 983334912 196437 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30113/tid=30124] ppid=30111 vsize=960288 CPUtime=46.64
/proc/30113/task/30124/stat : 30124 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 11364 0 0 0 3936 728 0 0 20 0 17 0 657335761 983334912 196437 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30113/tid=30125] ppid=30111 vsize=960288 CPUtime=46.56
/proc/30113/task/30125/stat : 30125 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 8427 0 0 0 3902 754 0 0 20 0 17 0 657335761 983334912 196437 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30113/tid=30126] ppid=30111 vsize=960288 CPUtime=46.63
/proc/30113/task/30126/stat : 30126 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 7170 0 0 0 3935 728 0 0 20 0 17 0 657335761 983334912 196437 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30113/tid=30127] ppid=30111 vsize=960288 CPUtime=46.63
/proc/30113/task/30127/stat : 30127 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 11721 0 0 0 3941 722 0 0 20 0 17 0 657335761 983334912 196437 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30113/tid=30128] ppid=30111 vsize=960288 CPUtime=45.69
/proc/30113/task/30128/stat : 30128 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 11972 0 0 0 3813 756 0 0 20 0 17 0 657335761 983334912 196437 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30113/tid=30129] ppid=30111 vsize=960288 CPUtime=46.88
/proc/30113/task/30129/stat : 30129 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 26979 0 0 0 4140 548 0 0 20 0 17 0 657335761 983334912 196437 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134565939 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30113/tid=30130] ppid=30111 vsize=960288 CPUtime=46.57
/proc/30113/task/30130/stat : 30130 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 9086 0 0 0 3939 718 0 0 20 0 17 0 657335761 983334912 196437 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 749.65
Current children cumulated vsize (KiB) 960288

[startup+102.319 s]
/proc/loadavg: 15.78 15.52 14.36 16/201 30130
/proc/meminfo: memFree=17504676/36427776 swapFree=4692/1490024
[pid=30113] ppid=30111 vsize=1707740 CPUtime=1565.1
/proc/30113/stat : 30113 (ttsth-5-0) S 30111 30113 15497 0 -1 4202496 372230 0 0 0 143610 12900 0 0 20 0 17 0 657335373 1748725760 370888 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30113/statm: 426935 370888 95 177 0 426757 0
[pid=30113/tid=30115] ppid=30111 vsize=1707740 CPUtime=98.36
/proc/30113/task/30115/stat : 30115 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 20626 0 0 0 9780 56 0 0 20 0 17 0 657335761 1748725760 370888 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134634609 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30113/tid=30116] ppid=30111 vsize=1707740 CPUtime=97.61
/proc/30113/task/30116/stat : 30116 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 24373 0 0 0 8895 866 0 0 20 0 17 0 657335761 1748725760 370889 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30113/tid=30117] ppid=30111 vsize=1707740 CPUtime=97.82
/proc/30113/task/30117/stat : 30117 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 25368 0 0 0 8974 808 0 0 20 0 17 0 657335761 1748725760 370889 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30113/tid=30118] ppid=30111 vsize=1707740 CPUtime=97.67
/proc/30113/task/30118/stat : 30118 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 14309 0 0 0 8917 850 0 0 20 0 17 0 657335761 1748725760 370889 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134593204 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30113/tid=30119] ppid=30111 vsize=1707740 CPUtime=97.71
/proc/30113/task/30119/stat : 30119 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 21792 0 0 0 8941 830 0 0 20 0 17 0 657335761 1748725760 370889 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30113/tid=30120] ppid=30111 vsize=1707740 CPUtime=97.73
/proc/30113/task/30120/stat : 30120 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 17314 0 0 0 8901 872 0 0 20 0 17 0 657335761 1748725760 370889 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30113/tid=30121] ppid=30111 vsize=1707740 CPUtime=97.55
/proc/30113/task/30121/stat : 30121 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 22103 0 0 0 8903 852 0 0 20 0 17 0 657335761 1748725760 370890 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30113/tid=30122] ppid=30111 vsize=1707740 CPUtime=97.55
/proc/30113/task/30122/stat : 30122 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 17178 0 0 0 8857 898 0 0 20 0 17 0 657335761 1748725760 370890 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30113/tid=30123] ppid=30111 vsize=1707740 CPUtime=97.31
/proc/30113/task/30123/stat : 30123 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 14742 0 0 0 8771 960 0 0 20 0 17 0 657335761 1748725760 370890 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30113/tid=30124] ppid=30111 vsize=1707740 CPUtime=97.65
/proc/30113/task/30124/stat : 30124 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 21553 0 0 0 8887 878 0 0 20 0 17 0 657335761 1748725760 370890 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30113/tid=30125] ppid=30111 vsize=1707740 CPUtime=97.57
/proc/30113/task/30125/stat : 30125 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 15585 0 0 0 8863 894 0 0 20 0 17 0 657335761 1748725760 370890 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30113/tid=30126] ppid=30111 vsize=1707740 CPUtime=97.64
/proc/30113/task/30126/stat : 30126 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 18339 0 0 0 8890 874 0 0 20 0 17 0 657335761 1748725760 370890 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30113/tid=30127] ppid=30111 vsize=1707740 CPUtime=97.67
/proc/30113/task/30127/stat : 30127 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 25115 0 0 0 8925 842 0 0 20 0 17 0 657335761 1748725760 370890 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30113/tid=30128] ppid=30111 vsize=1707740 CPUtime=95.71
/proc/30113/task/30128/stat : 30128 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 22088 0 0 0 8677 894 0 0 20 0 17 0 657335761 1748725760 370890 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30113/tid=30129] ppid=30111 vsize=1707740 CPUtime=98.01
/proc/30113/task/30129/stat : 30129 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 45522 0 0 0 9155 646 0 0 20 0 17 0 657335761 1748725760 370890 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30113/tid=30130] ppid=30111 vsize=1707740 CPUtime=97.53
/proc/30113/task/30130/stat : 30130 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 19724 0 0 0 8893 860 0 0 20 0 17 0 657335761 1748725760 370890 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1565.1
Current children cumulated vsize (KiB) 1707740



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+133.304 s]
/proc/loadavg: 15.95 15.58 14.42 18/201 30130
/proc/meminfo: memFree=17138772/36427776 swapFree=4692/1854516
[pid=30113] ppid=30111 vsize=2097132 CPUtime=2059.36
/proc/30113/stat : 30113 (ttsth-5-0) S 30111 30113 15497 0 -1 4202496 463301 0 0 0 192319 13617 0 0 20 0 17 0 657335373 2147463168 461959 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30113/statm: 524283 461959 95 177 0 524105 0
[pid=30113/tid=30115] ppid=30111 vsize=2097132 CPUtime=129.34
/proc/30113/task/30115/stat : 30115 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 24296 0 0 0 12864 70 0 0 20 0 17 0 657335761 2147463168 461959 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30113/tid=30116] ppid=30111 vsize=2097132 CPUtime=128.55
/proc/30113/task/30116/stat : 30116 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 29245 0 0 0 11945 910 0 0 20 0 17 0 657335761 2147463168 461959 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30113/tid=30117] ppid=30111 vsize=2097132 CPUtime=128.77
/proc/30113/task/30117/stat : 30117 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 33139 0 0 0 12027 850 0 0 20 0 17 0 657335761 2147463168 461959 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30113/tid=30118] ppid=30111 vsize=2097132 CPUtime=128.59
/proc/30113/task/30118/stat : 30118 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 18827 0 0 0 11975 884 0 0 20 0 17 0 657335761 2147463168 461959 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30113/tid=30119] ppid=30111 vsize=2097132 CPUtime=128.65
/proc/30113/task/30119/stat : 30119 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 30987 0 0 0 11993 872 0 0 20 0 17 0 657335761 2147463168 461959 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30113/tid=30120] ppid=30111 vsize=2097132 CPUtime=128.67
/proc/30113/task/30120/stat : 30120 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 24089 0 0 0 11943 924 0 0 20 0 17 0 657335761 2147463168 461959 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30113/tid=30121] ppid=30111 vsize=2097132 CPUtime=128.47
/proc/30113/task/30121/stat : 30121 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 28366 0 0 0 11941 906 0 0 20 0 17 0 657335761 2147463168 461959 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30113/tid=30122] ppid=30111 vsize=2097132 CPUtime=128.46
/proc/30113/task/30122/stat : 30122 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 20990 0 0 0 11902 944 0 0 20 0 17 0 657335761 2147463168 461959 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134549905 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30113/tid=30123] ppid=30111 vsize=2097132 CPUtime=128.18
/proc/30113/task/30123/stat : 30123 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 19852 0 0 0 11792 1026 0 0 20 0 17 0 657335761 2147463168 461959 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30113/tid=30124] ppid=30111 vsize=2097132 CPUtime=128.56
/proc/30113/task/30124/stat : 30124 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 25763 0 0 0 11926 930 0 0 20 0 17 0 657335761 2147463168 461960 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30113/tid=30125] ppid=30111 vsize=2097132 CPUtime=128.49
/proc/30113/task/30125/stat : 30125 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 21287 0 0 0 11905 944 0 0 20 0 17 0 657335761 2147463168 461960 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30113/tid=30126] ppid=30111 vsize=2097132 CPUtime=128.56
/proc/30113/task/30126/stat : 30126 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 25712 0 0 0 11926 930 0 0 20 0 17 0 657335761 2147463168 461960 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30113/tid=30127] ppid=30111 vsize=2097132 CPUtime=128.6
/proc/30113/task/30127/stat : 30127 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 29154 0 0 0 11976 884 0 0 20 0 17 0 657335761 2147463168 461960 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134590170 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30113/tid=30128] ppid=30111 vsize=2097132 CPUtime=126.02
/proc/30113/task/30128/stat : 30128 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 26702 0 0 0 11664 938 0 0 20 0 17 0 657335761 2147463168 461960 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134580129 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30113/tid=30129] ppid=30111 vsize=2097132 CPUtime=128.98
/proc/30113/task/30129/stat : 30129 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 53922 0 0 0 12226 672 0 0 20 0 17 0 657335761 2147463168 461960 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30113/tid=30130] ppid=30111 vsize=2097132 CPUtime=128.44
/proc/30113/task/30130/stat : 30130 (ttsth-5-0) R 30111 30113 15497 0 -1 4202560 24470 0 0 0 11930 914 0 0 20 0 17 0 657335761 2147463168 461960 18446744073709551615 134512640 135237372 4293483888 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 2059.36
Current children cumulated vsize (KiB) 2097132

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

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

[startup+133.425 s]
/proc/loadavg: 15.95 15.58 14.42 18/201 30130
/proc/meminfo: memFree=17138772/36427776 swapFree=4692/1854516
[pid=30113] ppid=30111 vsize=0 CPUtime=2059.63
/proc/30113/stat : 30113 (ttsth-5-0) Z 30111 30113 15497 0 -1 4203532 463322 0 0 0 192332 13631 0 0 20 0 2 0 657335373 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30113/statm: 0 0 0 0 0 0 0
[pid=30113/tid=30130] ppid=30111 vsize=0 CPUtime=128.54
/proc/30113/task/30130/stat : 30130 (ttsth-5-0) R 30111 30113 15497 0 -1 4203588 24470 0 0 0 11930 924 0 0 20 0 2 0 657335761 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 2059.63
Current children cumulated vsize (KiB) 0

[startup+133.505 s]
/proc/loadavg: 15.95 15.58 14.42 18/201 30130
/proc/meminfo: memFree=17138772/36427776 swapFree=4692/1854516
[pid=30113] ppid=30111 vsize=0 CPUtime=2059.71
/proc/30113/stat : 30113 (ttsth-5-0) Z 30111 30113 15497 0 -1 4203532 463322 0 0 0 192332 13639 0 0 20 0 2 0 657335373 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30113/statm: 0 0 0 0 0 0 0
[pid=30113/tid=30130] ppid=30111 vsize=0 CPUtime=128.62
/proc/30113/task/30130/stat : 30130 (ttsth-5-0) R 30111 30113 15497 0 -1 4203588 24470 0 0 0 11930 932 0 0 20 0 2 0 657335761 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 2059.71
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 133.519
CPU time (s): 2059.73
CPU user time (s): 1923.32
CPU system time (s): 136.409
CPU usage (%): 1542.66
Max. virtual memory (cumulated for all children) (KiB): 2097132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1923.32
system time used= 136.409
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 463322
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= 131126
involuntary context switches= 4851

runsolver used 0.752047 second user time and 1.86412 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 13:51:30
IDJOB=1781010
IDBENCH=71088
IDSOLVER=634
FILE ID=xenhost3-49/1781010-1244980290
PBS_JOBID=
Free space on /tmp= 7018 MiB

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

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

MD5SUM BENCH= d4e16a803f6cd0903a2bd3e7157287b3
RANDOM SEED= 754796467

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:      18984968 kB
Buffers:        524820 kB
Cached:       14122488 kB
SwapCached:          0 kB
Active:        4171992 kB
Inactive:     10485088 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            5324 kB
Writeback:           0 kB
AnonPages:        8488 kB
Mapped:           3860 kB
Slab:           733664 kB
SReclaimable:   706704 kB
SUnreclaim:      26960 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29736 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7018 MiB
End job on xenhost3-49 at 2009-06-14 13:53:45