Trace number 1781055

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) 2705.2 175.821

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_07_UNSAT.cnf
MD5SUM6419e2e5b92274df2e7e43e6c6a98566
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark805.72
Satisfiable
(Un)Satisfiability was proved
Number of variables1128
Number of clauses57446
Sum of the clauses size170514
Maximum clause length8
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21939
Number of clauses of size 355484
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.00/0.06	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781055-1244980686.cnf 
0.00/0.06	c Using SATTIMEOUT of 10000
0.00/0.06	c Using SATRAM of 2047
0.00/0.06	c Size of subset node = 16
0.00/0.06	c Variables = 1128
0.00/0.06	c Clauses = 57446
0.00/0.06	c Literals = 170514
0.00/0.06	c Reduced size:
0.00/0.06	c Variables = 1128
0.00/0.06	c Clauses = 57446
0.00/0.06	c Literals = 170514
0.00/0.06	c a2
0.10/0.16	c a1
0.28/0.34	c Independent sub-problems = 1
0.28/0.34	c Sub-problem with 1128 variables and 57446 clauses
0.28/0.34	c using permutation method 4
0.28/0.34	c count = 1
0.28/0.34	c Ordering finished 0.320 seconds
0.28/0.34	c mapped 0.330 seconds
0.28/0.34	c permuted 0.330 seconds
0.28/0.34	c about to sort
0.28/0.35	c sorted
0.48/0.57	c clauses now 57446
0.48/0.57	c init finished 0.360 seconds
0.48/0.57	c tree built 0.570 seconds
0.48/0.57	c 
0.48/0.57	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.48/0.57	c ---------------------------------|----------------------------------|------------------------------------------------------
0.48/0.57	c ................................ | ..........                       |                        0.6           0.0             
0.48/0.57	c ................................ | ..........                     1 |                        0.6           1.8             
0.48/0.57	c ................................ | ..........                     2 |                        0.6           3.5             
0.48/0.57	c ................................ | ..........                     3 |                        0.6           5.3             
0.48/0.57	c ................................ | ..........                     4 |                        0.6           7.0             
0.48/0.57	c ................................ | ..........                     5 |                        0.6           8.8             
0.86/0.65	c ................................ | ..........                  1000 | 10                     1.2         840.3        19326
218.85/15.95	c ................................ | ..........                338000 | 24002                200.1        1689.0     15479530
420.74/31.49	c ................................ | ..........                538000 | 32545                400.0        1344.9     28275954
623.05/45.24	c ................................ | ..........                675000 | 41004                600.3        1124.4     38295214
825.53/57.96	c ................................ | ..........                788000 | 47752                801.9         982.7     47881426
1025.18/70.46	c ................................ | *.........                907000 | 54111               1000.6         906.4     56318247
1226.09/83.05	c ................................ | *.........               1038000 | 59662               1201.1         864.2     64067199
1425.66/95.59	c ................................ | *.........               1196000 | 74412               1400.8         853.8     71248600
1625.24/108.09	c ................................ | *.........               1339000 | 81750               1600.0         836.9     78017144
1826.41/120.66	c ................................ | *.........               1473000 | 91307               1800.5         818.1     84817036
2026.17/133.17	c ................................ | **........               1552000 | 97540               2000.1         776.0     91226572

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-1781055-1244980686/watcher-1781055-1244980686 -o /tmp/evaluation-result-1781055-1244980686/solver-1781055-1244980686 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781055-1244980686.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.42 15.36 14.60 2/184 30283
/proc/meminfo: memFree=18989160/36427776 swapFree=4348/9044
[pid=30283] ppid=30281 vsize=1540 CPUtime=0
/proc/30283/stat : 30283 (ttsth-5-0) R 30281 30283 15497 0 -1 4202496 274 0 0 0 0 0 0 0 20 0 1 0 657374969 1576960 230 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134732614 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/30283/statm: 385 230 75 177 0 207 0

[startup+0.088374 s]
/proc/loadavg: 15.42 15.36 14.60 2/184 30283
/proc/meminfo: memFree=18989160/36427776 swapFree=4348/9044
[pid=30283] ppid=30281 vsize=8468 CPUtime=0.08
/proc/30283/stat : 30283 (ttsth-5-0) R 30281 30283 15497 0 -1 4202496 1955 0 0 0 6 2 0 0 20 0 1 0 657374969 8671232 1910 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134680336 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/30283/statm: 2117 1910 76 177 0 1939 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8468

[startup+0.100344 s]
/proc/loadavg: 15.42 15.36 14.60 2/184 30283
/proc/meminfo: memFree=18989160/36427776 swapFree=4348/9044
[pid=30283] ppid=30281 vsize=8468 CPUtime=0.1
/proc/30283/stat : 30283 (ttsth-5-0) R 30281 30283 15497 0 -1 4202496 1955 0 0 0 8 2 0 0 20 0 1 0 657374969 8671232 1910 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134519986 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/30283/statm: 2117 1910 76 177 0 1939 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8468

[startup+0.300387 s]
/proc/loadavg: 15.42 15.36 14.60 2/184 30283
/proc/meminfo: memFree=18989160/36427776 swapFree=4348/9044
[pid=30283] ppid=30281 vsize=9028 CPUtime=0.28
/proc/30283/stat : 30283 (ttsth-5-0) R 30281 30283 15497 0 -1 4202496 2908 0 0 0 26 2 0 0 20 0 1 0 657374969 9244672 2116 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134555272 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/30283/statm: 2257 2116 77 177 0 2079 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9028

[startup+0.704016 s]
/proc/loadavg: 15.42 15.36 14.60 2/184 30283
/proc/meminfo: memFree=18989160/36427776 swapFree=4348/9044
[pid=30283] ppid=30281 vsize=165884 CPUtime=2.26
/proc/30283/stat : 30283 (ttsth-5-0) S 30281 30283 15497 0 -1 4202496 8912 0 0 0 100 126 0 0 20 0 17 0 657374969 169865216 8004 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30283/statm: 41471 8004 95 177 0 41293 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 165884

[startup+1.5045 s]
/proc/loadavg: 15.42 15.36 14.60 17/201 30300
/proc/meminfo: memFree=18956876/36427776 swapFree=4688/42212
[pid=30283] ppid=30281 vsize=176144 CPUtime=13.93
/proc/30283/stat : 30283 (ttsth-5-0) S 30281 30283 15497 0 -1 4202496 11725 0 0 0 651 742 0 0 20 0 17 0 657374969 180371456 10817 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30283/statm: 44036 10817 95 177 0 43858 0
[pid=30283/tid=30285] ppid=30281 vsize=176144 CPUtime=0.9
/proc/30283/task/30285/stat : 30285 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 340 0 0 0 86 4 0 0 20 0 17 0 657375027 180371456 10817 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134551008 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30283/tid=30286] ppid=30281 vsize=176144 CPUtime=0.88
/proc/30283/task/30286/stat : 30286 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 140 0 0 0 36 52 0 0 20 0 17 0 657375027 180371456 10817 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30283/tid=30287] ppid=30281 vsize=176144 CPUtime=0.88
/proc/30283/task/30287/stat : 30287 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 197 0 0 0 36 52 0 0 20 0 17 0 657375027 180371456 10819 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30283/tid=30288] ppid=30281 vsize=176144 CPUtime=0.88
/proc/30283/task/30288/stat : 30288 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 165 0 0 0 42 46 0 0 20 0 17 0 657375027 180371456 10819 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30283/tid=30289] ppid=30281 vsize=176144 CPUtime=0.9
/proc/30283/task/30289/stat : 30289 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 172 0 0 0 38 52 0 0 20 0 17 0 657375027 180371456 10819 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30283/tid=30290] ppid=30281 vsize=176144 CPUtime=0.88
/proc/30283/task/30290/stat : 30290 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 320 0 0 0 40 48 0 0 20 0 17 0 657375027 180371456 10819 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134549896 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30291] ppid=30281 vsize=176144 CPUtime=0.88
/proc/30283/task/30291/stat : 30291 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 184 0 0 0 36 52 0 0 20 0 17 0 657375027 180371456 10819 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30283/tid=30292] ppid=30281 vsize=176144 CPUtime=0.88
/proc/30283/task/30292/stat : 30292 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 187 0 0 0 32 56 0 0 20 0 17 0 657375027 180371456 10819 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30283/tid=30293] ppid=30281 vsize=176144 CPUtime=0.88
/proc/30283/task/30293/stat : 30293 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 218 0 0 0 34 54 0 0 20 0 17 0 657375027 180371456 10819 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30294] ppid=30281 vsize=176144 CPUtime=0.44
/proc/30283/task/30294/stat : 30294 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 57 0 0 0 12 32 0 0 20 0 17 0 657375027 180371456 10819 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30283/tid=30295] ppid=30281 vsize=176144 CPUtime=0.88
/proc/30283/task/30295/stat : 30295 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 279 0 0 0 36 52 0 0 20 0 17 0 657375027 180371456 10819 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134591129 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30283/tid=30296] ppid=30281 vsize=176144 CPUtime=0.88
/proc/30283/task/30296/stat : 30296 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 249 0 0 0 36 52 0 0 20 0 17 0 657375027 180371456 10820 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134588674 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30283/tid=30297] ppid=30281 vsize=176144 CPUtime=0.86
/proc/30283/task/30297/stat : 30297 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 165 0 0 0 30 56 0 0 20 0 17 0 657375027 180371456 10820 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134591076 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30283/tid=30298] ppid=30281 vsize=176144 CPUtime=0.88
/proc/30283/task/30298/stat : 30298 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 400 0 0 0 36 52 0 0 20 0 17 0 657375027 180371456 10820 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30283/tid=30299] ppid=30281 vsize=176144 CPUtime=0.46
/proc/30283/task/30299/stat : 30299 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 116 0 0 0 20 26 0 0 20 0 17 0 657375027 180371456 10820 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30283/tid=30300] ppid=30281 vsize=176144 CPUtime=0.88
/proc/30283/task/30300/stat : 30300 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 287 0 0 0 42 46 0 0 20 0 17 0 657375027 180371456 10820 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 13.93
Current children cumulated vsize (KiB) 176144

[startup+3.10398 s]
/proc/loadavg: 15.47 15.37 14.61 17/201 30300
/proc/meminfo: memFree=18939528/36427776 swapFree=4688/60452
[pid=30283] ppid=30281 vsize=207796 CPUtime=37.54
/proc/30283/stat : 30283 (ttsth-5-0) S 30281 30283 15497 0 -1 4202496 19143 0 0 0 2262 1492 0 0 20 0 17 0 657374969 212783104 18235 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30283/statm: 51949 18235 95 177 0 51771 0
[pid=30283/tid=30285] ppid=30281 vsize=207796 CPUtime=2.52
/proc/30283/task/30285/stat : 30285 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 718 0 0 0 246 6 0 0 20 0 17 0 657375027 212783104 18235 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562363 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30283/tid=30286] ppid=30281 vsize=207796 CPUtime=2.44
/proc/30283/task/30286/stat : 30286 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 441 0 0 0 134 110 0 0 20 0 17 0 657375027 212783104 18235 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30283/tid=30287] ppid=30281 vsize=207796 CPUtime=2.46
/proc/30283/task/30287/stat : 30287 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 818 0 0 0 138 108 0 0 20 0 17 0 657375027 212783104 18235 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134591099 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30283/tid=30288] ppid=30281 vsize=207796 CPUtime=2.46
/proc/30283/task/30288/stat : 30288 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 497 0 0 0 140 106 0 0 20 0 17 0 657375027 212783104 18235 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30283/tid=30289] ppid=30281 vsize=207796 CPUtime=2.46
/proc/30283/task/30289/stat : 30289 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 647 0 0 0 148 98 0 0 20 0 17 0 657375027 212783104 18235 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30283/tid=30290] ppid=30281 vsize=207796 CPUtime=1.84
/proc/30283/task/30290/stat : 30290 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 628 0 0 0 102 82 0 0 20 0 17 0 657375027 212783104 18235 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30291] ppid=30281 vsize=207796 CPUtime=2.44
/proc/30283/task/30291/stat : 30291 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 700 0 0 0 142 102 0 0 20 0 17 0 657375027 212783104 18235 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30283/tid=30292] ppid=30281 vsize=207796 CPUtime=2.44
/proc/30283/task/30292/stat : 30292 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 604 0 0 0 130 114 0 0 20 0 17 0 657375027 212783104 18236 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30283/tid=30293] ppid=30281 vsize=207796 CPUtime=2.44
/proc/30283/task/30293/stat : 30293 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 691 0 0 0 132 112 0 0 20 0 17 0 657375027 212783104 18237 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30294] ppid=30281 vsize=207796 CPUtime=1.82
/proc/30283/task/30294/stat : 30294 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 383 0 0 0 102 80 0 0 20 0 17 0 657375027 212783104 18237 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30283/tid=30295] ppid=30281 vsize=207796 CPUtime=2.46
/proc/30283/task/30295/stat : 30295 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 1079 0 0 0 144 102 0 0 20 0 17 0 657375027 212783104 18237 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30283/tid=30296] ppid=30281 vsize=207796 CPUtime=2.46
/proc/30283/task/30296/stat : 30296 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 689 0 0 0 138 108 0 0 20 0 17 0 657375027 212783104 18237 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30283/tid=30297] ppid=30281 vsize=207796 CPUtime=2.4
/proc/30283/task/30297/stat : 30297 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 629 0 0 0 132 108 0 0 20 0 17 0 657375027 212783104 18238 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134680293 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30283/tid=30298] ppid=30281 vsize=207796 CPUtime=2.46
/proc/30283/task/30298/stat : 30298 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 1293 0 0 0 146 100 0 0 20 0 17 0 657375027 212783104 18238 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30283/tid=30299] ppid=30281 vsize=207796 CPUtime=1.28
/proc/30283/task/30299/stat : 30299 (ttsth-5-0) S 30281 30283 15497 0 -1 4202560 349 0 0 0 76 52 0 0 20 0 17 0 657375027 212783104 18239 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30300] ppid=30281 vsize=207796 CPUtime=2.46
/proc/30283/task/30300/stat : 30300 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 727 0 0 0 152 94 0 0 20 0 17 0 657375027 212783104 18240 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 37.54
Current children cumulated vsize (KiB) 207796

[startup+6.30412 s]
/proc/loadavg: 15.47 15.37 14.61 17/201 30300
/proc/meminfo: memFree=18880848/36427776 swapFree=4692/119804
[pid=30283] ppid=30281 vsize=265272 CPUtime=84.62
/proc/30283/stat : 30283 (ttsth-5-0) S 30281 30283 15497 0 -1 4202496 32802 0 0 0 5706 2756 0 0 20 0 17 0 657374969 271638528 31894 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30283/statm: 66318 31894 95 177 0 66140 0
[pid=30283/tid=30285] ppid=30281 vsize=265272 CPUtime=5.68
/proc/30283/task/30285/stat : 30285 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 1452 0 0 0 562 6 0 0 20 0 17 0 657375027 271638528 31894 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134551008 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30283/tid=30286] ppid=30281 vsize=265272 CPUtime=5.58
/proc/30283/task/30286/stat : 30286 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 1352 0 0 0 350 208 0 0 20 0 17 0 657375027 271638528 31894 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30283/tid=30287] ppid=30281 vsize=265272 CPUtime=5.6
/proc/30283/task/30287/stat : 30287 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 1753 0 0 0 356 204 0 0 20 0 17 0 657375027 271638528 31895 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30283/tid=30288] ppid=30281 vsize=265272 CPUtime=5.58
/proc/30283/task/30288/stat : 30288 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 1144 0 0 0 346 212 0 0 20 0 17 0 657375027 271638528 31895 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30283/tid=30289] ppid=30281 vsize=265272 CPUtime=4.78
/proc/30283/task/30289/stat : 30289 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 1239 0 0 0 324 154 0 0 20 0 17 0 657375027 271638528 31895 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30283/tid=30290] ppid=30281 vsize=265272 CPUtime=3.46
/proc/30283/task/30290/stat : 30290 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 1154 0 0 0 222 124 0 0 20 0 17 0 657375027 271638528 31896 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30283/tid=30291] ppid=30281 vsize=265272 CPUtime=5.58
/proc/30283/task/30291/stat : 30291 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 1696 0 0 0 354 204 0 0 20 0 17 0 657375027 271638528 31896 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30283/tid=30292] ppid=30281 vsize=265272 CPUtime=5.58
/proc/30283/task/30292/stat : 30292 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 1671 0 0 0 346 212 0 0 20 0 17 0 657375027 271638528 31896 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30283/tid=30293] ppid=30281 vsize=265272 CPUtime=5.56
/proc/30283/task/30293/stat : 30293 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 1708 0 0 0 344 212 0 0 20 0 17 0 657375027 271638528 31896 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30294] ppid=30281 vsize=265272 CPUtime=4.94
/proc/30283/task/30294/stat : 30294 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 1117 0 0 0 328 166 0 0 20 0 17 0 657375027 271638528 31896 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30283/tid=30295] ppid=30281 vsize=265272 CPUtime=5.62
/proc/30283/task/30295/stat : 30295 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 2354 0 0 0 384 178 0 0 20 0 17 0 657375027 271638528 31896 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30283/tid=30296] ppid=30281 vsize=265272 CPUtime=5.6
/proc/30283/task/30296/stat : 30296 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 1413 0 0 0 364 196 0 0 20 0 17 0 657375027 271638528 31897 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30283/tid=30297] ppid=30281 vsize=265272 CPUtime=5.5
/proc/30283/task/30297/stat : 30297 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 1304 0 0 0 362 188 0 0 20 0 17 0 657375027 271638528 31898 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30283/tid=30298] ppid=30281 vsize=265272 CPUtime=5.6
/proc/30283/task/30298/stat : 30298 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 2937 0 0 0 392 168 0 0 20 0 17 0 657375027 271638528 31898 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30283/tid=30299] ppid=30281 vsize=265272 CPUtime=3.68
/proc/30283/task/30299/stat : 30299 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 889 0 0 0 234 134 0 0 20 0 17 0 657375027 271638528 31898 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30300] ppid=30281 vsize=265272 CPUtime=5.62
/proc/30283/task/30300/stat : 30300 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 1371 0 0 0 380 182 0 0 20 0 17 0 657375027 271638528 31898 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 84.62
Current children cumulated vsize (KiB) 265272

[startup+12.7009 s]
/proc/loadavg: 15.55 15.39 14.62 17/201 30300
/proc/meminfo: memFree=18761616/36427776 swapFree=4692/238628
[pid=30283] ppid=30281 vsize=387472 CPUtime=175.37
/proc/30283/stat : 30283 (ttsth-5-0) S 30281 30283 15497 0 -1 4202496 61277 0 0 0 13802 3735 0 0 20 0 17 0 657374969 396771328 60369 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30283/statm: 96868 60370 95 177 0 96690 0
[pid=30283/tid=30285] ppid=30281 vsize=387472 CPUtime=12.06
/proc/30283/task/30285/stat : 30285 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 3547 0 0 0 1194 12 0 0 20 0 17 0 657375027 396771328 60370 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30283/tid=30286] ppid=30281 vsize=387472 CPUtime=10
/proc/30283/task/30286/stat : 30286 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 2548 0 0 0 738 262 0 0 20 0 17 0 657375027 396771328 60370 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30283/tid=30287] ppid=30281 vsize=387472 CPUtime=11.9
/proc/30283/task/30287/stat : 30287 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 4061 0 0 0 914 276 0 0 20 0 17 0 657375027 396771328 60370 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30283/tid=30288] ppid=30281 vsize=387472 CPUtime=10.88
/proc/30283/task/30288/stat : 30288 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 2650 0 0 0 806 282 0 0 20 0 17 0 657375027 396771328 60370 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30283/tid=30289] ppid=30281 vsize=387472 CPUtime=7.98
/proc/30283/task/30289/stat : 30289 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 2119 0 0 0 614 184 0 0 20 0 17 0 657375027 396771328 60371 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30283/tid=30290] ppid=30281 vsize=387472 CPUtime=8.74
/proc/30283/task/30290/stat : 30290 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 3024 0 0 0 696 178 0 0 20 0 17 0 657375027 396771328 60371 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30283/tid=30291] ppid=30281 vsize=387472 CPUtime=11.88
/proc/30283/task/30291/stat : 30291 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 3709 0 0 0 912 276 0 0 20 0 17 0 657375027 396771328 60371 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30283/tid=30292] ppid=30281 vsize=387472 CPUtime=10.96
/proc/30283/task/30292/stat : 30292 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 3386 0 0 0 810 286 0 0 20 0 17 0 657375027 396771328 60372 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134561524 0 0 1 0 0 0 0 -1 15 0 0 0 0 0

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

/proc/30283/task/30288/stat : 30288 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 9393 0 0 0 4344 348 0 0 20 0 17 0 657375027 929632256 182491 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30283/tid=30289] ppid=30281 vsize=907844 CPUtime=42.42
/proc/30283/task/30289/stat : 30289 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 10101 0 0 0 4008 234 0 0 20 0 17 0 657375027 929632256 182491 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30283/tid=30290] ppid=30281 vsize=907844 CPUtime=42.02
/proc/30283/task/30290/stat : 30290 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 8774 0 0 0 3974 228 0 0 20 0 17 0 657375027 929632256 182491 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30283/tid=30291] ppid=30281 vsize=907844 CPUtime=44.69
/proc/30283/task/30291/stat : 30291 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 11947 0 0 0 4125 344 0 0 20 0 17 0 657375027 929632256 182491 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30292] ppid=30281 vsize=907844 CPUtime=43.39
/proc/30283/task/30292/stat : 30292 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 11253 0 0 0 4005 334 0 0 20 0 17 0 657375027 929632256 182491 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30283/tid=30293] ppid=30281 vsize=907844 CPUtime=48.55
/proc/30283/task/30293/stat : 30293 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 12283 0 0 0 4507 348 0 0 20 0 17 0 657375027 929632256 182491 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30283/tid=30294] ppid=30281 vsize=907844 CPUtime=48.93
/proc/30283/task/30294/stat : 30294 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 13809 0 0 0 4559 334 0 0 20 0 17 0 657375027 929632256 182491 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30283/tid=30295] ppid=30281 vsize=907844 CPUtime=47.25
/proc/30283/task/30295/stat : 30295 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 16741 0 0 0 4419 306 0 0 20 0 17 0 657375027 929632256 182491 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30283/tid=30296] ppid=30281 vsize=907844 CPUtime=44.31
/proc/30283/task/30296/stat : 30296 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 8706 0 0 0 4117 314 0 0 20 0 17 0 657375027 929632256 182491 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30283/tid=30297] ppid=30281 vsize=907844 CPUtime=48.38
/proc/30283/task/30297/stat : 30297 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 8596 0 0 0 4526 312 0 0 20 0 17 0 657375027 929632256 182491 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30283/tid=30298] ppid=30281 vsize=907844 CPUtime=45.73
/proc/30283/task/30298/stat : 30298 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 15192 0 0 0 4271 302 0 0 20 0 17 0 657375027 929632256 182492 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30283/tid=30299] ppid=30281 vsize=907844 CPUtime=43.95
/proc/30283/task/30299/stat : 30299 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 9276 0 0 0 4105 290 0 0 20 0 17 0 657375027 929632256 182492 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30283/tid=30300] ppid=30281 vsize=907844 CPUtime=39.48
/proc/30283/task/30300/stat : 30300 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 7688 0 0 0 3666 282 0 0 20 0 17 0 657375027 929632256 182492 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 717.07
Current children cumulated vsize (KiB) 907844

[startup+102.313 s]
/proc/loadavg: 15.90 15.55 14.75 17/201 30300
/proc/meminfo: memFree=17740828/36427776 swapFree=4692/1257164
[pid=30283] ppid=30281 vsize=1464428 CPUtime=1534.34
/proc/30283/stat : 30283 (ttsth-5-0) S 30281 30283 15497 0 -1 4202496 313492 0 0 0 147786 5648 0 0 20 0 17 0 657374969 1499574272 312584 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30283/statm: 366107 312584 95 177 0 365929 0
[pid=30283/tid=30285] ppid=30281 vsize=1464428 CPUtime=101.13
/proc/30283/task/30285/stat : 30285 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 19299 0 0 0 10059 54 0 0 20 0 17 0 657375027 1499574272 312584 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30283/tid=30286] ppid=30281 vsize=1464428 CPUtime=94.56
/proc/30283/task/30286/stat : 30286 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 14534 0 0 0 9092 364 0 0 20 0 17 0 657375027 1499574272 312584 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30281 vsize=1464428 CPUtime=88.2
/proc/30283/task/30287/stat : 30287 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 23264 0 0 0 8410 410 0 0 20 0 17 0 657375027 1499574272 312584 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30283/tid=30288] ppid=30281 vsize=1464428 CPUtime=98.07
/proc/30283/task/30288/stat : 30288 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 14386 0 0 0 9413 394 0 0 20 0 17 0 657375027 1499574272 312584 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30283/tid=30289] ppid=30281 vsize=1464428 CPUtime=93.56
/proc/30283/task/30289/stat : 30289 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 20068 0 0 0 9056 300 0 0 20 0 17 0 657375027 1499574272 312584 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30283/tid=30290] ppid=30281 vsize=1464428 CPUtime=93.16
/proc/30283/task/30290/stat : 30290 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 15992 0 0 0 9022 294 0 0 20 0 17 0 657375027 1499574272 312584 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30283/tid=30291] ppid=30281 vsize=1464428 CPUtime=95.82
/proc/30283/task/30291/stat : 30291 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 19803 0 0 0 9160 422 0 0 20 0 17 0 657375027 1499574272 312584 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30292] ppid=30281 vsize=1464428 CPUtime=94.51
/proc/30283/task/30292/stat : 30292 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 19840 0 0 0 9049 402 0 0 20 0 17 0 657375027 1499574272 312584 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30283/tid=30293] ppid=30281 vsize=1464428 CPUtime=99.67
/proc/30283/task/30293/stat : 30293 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 20806 0 0 0 9539 428 0 0 20 0 17 0 657375027 1499574272 312584 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30283/tid=30294] ppid=30281 vsize=1464428 CPUtime=100.02
/proc/30283/task/30294/stat : 30294 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 24208 0 0 0 9598 404 0 0 20 0 17 0 657375027 1499574272 312584 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30283/tid=30295] ppid=30281 vsize=1464428 CPUtime=98.41
/proc/30283/task/30295/stat : 30295 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 28280 0 0 0 9475 366 0 0 20 0 17 0 657375027 1499574272 312584 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562388 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30283/tid=30296] ppid=30281 vsize=1464428 CPUtime=95.46
/proc/30283/task/30296/stat : 30296 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 13404 0 0 0 9194 352 0 0 20 0 17 0 657375027 1499574272 312584 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30283/tid=30297] ppid=30281 vsize=1464428 CPUtime=98.54
/proc/30283/task/30297/stat : 30297 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 15027 0 0 0 9478 376 0 0 20 0 17 0 657375027 1499574272 312584 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30283/tid=30298] ppid=30281 vsize=1464428 CPUtime=96.85
/proc/30283/task/30298/stat : 30298 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 27081 0 0 0 9307 378 0 0 20 0 17 0 657375027 1499574272 312584 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134732535 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30283/tid=30299] ppid=30281 vsize=1464428 CPUtime=95.09
/proc/30283/task/30299/stat : 30299 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 13591 0 0 0 9171 338 0 0 20 0 17 0 657375027 1499574272 312584 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30283/tid=30300] ppid=30281 vsize=1464428 CPUtime=90.59
/proc/30283/task/30300/stat : 30300 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 15658 0 0 0 8703 356 0 0 20 0 17 0 657375027 1499574272 312584 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1534.34
Current children cumulated vsize (KiB) 1464428

[startup+162.305 s]
/proc/loadavg: 16.01 15.64 14.83 17/201 30305
/proc/meminfo: memFree=17250264/36427776 swapFree=4692/1746124
[pid=30283] ppid=30281 vsize=1991652 CPUtime=2492.28
/proc/30283/stat : 30283 (ttsth-5-0) S 30281 30283 15497 0 -1 4202496 437135 0 0 0 242822 6406 0 0 20 0 17 0 657374969 2039451648 436227 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30283/statm: 497913 436227 95 177 0 497735 0
[pid=30283/tid=30285] ppid=30281 vsize=1991652 CPUtime=161.11
/proc/30283/task/30285/stat : 30285 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 29454 0 0 0 16033 78 0 0 20 0 17 0 657375027 2039451648 436227 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30283/tid=30286] ppid=30281 vsize=1991652 CPUtime=154.51
/proc/30283/task/30286/stat : 30286 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 19673 0 0 0 15041 410 0 0 20 0 17 0 657375027 2039451648 436227 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30281 vsize=1991652 CPUtime=148.13
/proc/30283/task/30287/stat : 30287 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 31954 0 0 0 14333 480 0 0 20 0 17 0 657375027 2039451648 436227 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30283/tid=30288] ppid=30281 vsize=1991652 CPUtime=158.05
/proc/30283/task/30288/stat : 30288 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 18242 0 0 0 15381 424 0 0 20 0 17 0 657375027 2039451648 436228 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30283/tid=30289] ppid=30281 vsize=1991652 CPUtime=153.49
/proc/30283/task/30289/stat : 30289 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 30817 0 0 0 14993 356 0 0 20 0 17 0 657375027 2039451648 436229 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562290 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30283/tid=30290] ppid=30281 vsize=1991652 CPUtime=153.1
/proc/30283/task/30290/stat : 30290 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 22767 0 0 0 14972 338 0 0 20 0 17 0 657375027 2039451648 436229 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30283/tid=30291] ppid=30281 vsize=1991652 CPUtime=155.73
/proc/30283/task/30291/stat : 30291 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 29292 0 0 0 15077 496 0 0 20 0 17 0 657375027 2039451648 436229 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30292] ppid=30281 vsize=1991652 CPUtime=154.45
/proc/30283/task/30292/stat : 30292 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 28676 0 0 0 14985 460 0 0 20 0 17 0 657375027 2039451648 436229 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30283/tid=30293] ppid=30281 vsize=1991652 CPUtime=159.59
/proc/30283/task/30293/stat : 30293 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 28373 0 0 0 15475 484 0 0 20 0 17 0 657375027 2039451648 436229 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30283/tid=30294] ppid=30281 vsize=1991652 CPUtime=159.91
/proc/30283/task/30294/stat : 30294 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 31248 0 0 0 15529 462 0 0 20 0 17 0 657375027 2039451648 436229 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30283/tid=30295] ppid=30281 vsize=1991652 CPUtime=158.36
/proc/30283/task/30295/stat : 30295 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 39060 0 0 0 15422 414 0 0 20 0 17 0 657375027 2039451648 436229 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30283/tid=30296] ppid=30281 vsize=1991652 CPUtime=155.41
/proc/30283/task/30296/stat : 30296 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 17993 0 0 0 15165 376 0 0 20 0 17 0 657375027 2039451648 436229 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30283/tid=30297] ppid=30281 vsize=1991652 CPUtime=157.32
/proc/30283/task/30297/stat : 30297 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 21000 0 0 0 15318 414 0 0 20 0 17 0 657375027 2039451648 436229 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30283/tid=30298] ppid=30281 vsize=1991652 CPUtime=156.77
/proc/30283/task/30298/stat : 30298 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 42363 0 0 0 15239 438 0 0 20 0 17 0 657375027 2039451648 436229 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30283/tid=30299] ppid=30281 vsize=1991652 CPUtime=155.05
/proc/30283/task/30299/stat : 30299 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 16737 0 0 0 15135 370 0 0 20 0 17 0 657375027 2039451648 436229 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134738956 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30283/tid=30300] ppid=30281 vsize=1991652 CPUtime=150.54
/proc/30283/task/30300/stat : 30300 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 21237 0 0 0 14660 394 0 0 20 0 17 0 657375027 2039451648 436229 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134561428 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 2492.28
Current children cumulated vsize (KiB) 1991652



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+175.603 s]
/proc/loadavg: 16.01 15.65 14.84 17/201 30305
/proc/meminfo: memFree=17147520/36427776 swapFree=4692/1849468
[pid=30283] ppid=30281 vsize=2096768 CPUtime=2704.83
/proc/30283/stat : 30283 (ttsth-5-0) S 30281 30283 15497 0 -1 4202496 461409 0 0 0 263927 6556 0 0 20 0 17 0 657374969 2147090432 460501 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30283/statm: 524192 460501 95 177 0 524014 0
[pid=30283/tid=30285] ppid=30281 vsize=2096768 CPUtime=174.41
/proc/30283/task/30285/stat : 30285 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 30500 0 0 0 17359 82 0 0 20 0 17 0 657375027 2147090432 460502 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30283/tid=30286] ppid=30281 vsize=2096768 CPUtime=167.81
/proc/30283/task/30286/stat : 30286 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 20925 0 0 0 16361 420 0 0 20 0 17 0 657375027 2147090432 460502 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30281 vsize=2096768 CPUtime=161.42
/proc/30283/task/30287/stat : 30287 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 33493 0 0 0 15654 488 0 0 20 0 17 0 657375027 2147090432 460502 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30283/tid=30288] ppid=30281 vsize=2096768 CPUtime=171.35
/proc/30283/task/30288/stat : 30288 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 19064 0 0 0 16703 432 0 0 20 0 17 0 657375027 2147090432 460502 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30283/tid=30289] ppid=30281 vsize=2096768 CPUtime=166.81
/proc/30283/task/30289/stat : 30289 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 32862 0 0 0 16315 366 0 0 20 0 17 0 657375027 2147090432 460502 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30283/tid=30290] ppid=30281 vsize=2096768 CPUtime=166.41
/proc/30283/task/30290/stat : 30290 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 24742 0 0 0 16293 348 0 0 20 0 17 0 657375027 2147090432 460502 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30283/tid=30291] ppid=30281 vsize=2096768 CPUtime=169.03
/proc/30283/task/30291/stat : 30291 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 31496 0 0 0 16393 510 0 0 20 0 17 0 657375027 2147090432 460502 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30292] ppid=30281 vsize=2096768 CPUtime=167.75
/proc/30283/task/30292/stat : 30292 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 30215 0 0 0 16305 470 0 0 20 0 17 0 657375027 2147090432 460502 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30283/tid=30293] ppid=30281 vsize=2096768 CPUtime=172.89
/proc/30283/task/30293/stat : 30293 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 29884 0 0 0 16793 496 0 0 20 0 17 0 657375027 2147090432 460502 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30283/tid=30294] ppid=30281 vsize=2096768 CPUtime=173.19
/proc/30283/task/30294/stat : 30294 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 32457 0 0 0 16847 472 0 0 20 0 17 0 657375027 2147090432 460502 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30283/tid=30295] ppid=30281 vsize=2096768 CPUtime=171.67
/proc/30283/task/30295/stat : 30295 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 41129 0 0 0 16743 424 0 0 20 0 17 0 657375027 2147090432 460502 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30283/tid=30296] ppid=30281 vsize=2096768 CPUtime=168.71
/proc/30283/task/30296/stat : 30296 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 18809 0 0 0 16493 378 0 0 20 0 17 0 657375027 2147090432 460502 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30283/tid=30297] ppid=30281 vsize=2096768 CPUtime=170.37
/proc/30283/task/30297/stat : 30297 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 21738 0 0 0 16615 422 0 0 20 0 17 0 657375027 2147090432 460503 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134592409 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30283/tid=30298] ppid=30281 vsize=2096768 CPUtime=170.07
/proc/30283/task/30298/stat : 30298 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 46475 0 0 0 16551 456 0 0 20 0 17 0 657375027 2147090432 460503 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30283/tid=30299] ppid=30281 vsize=2096768 CPUtime=168.35
/proc/30283/task/30299/stat : 30299 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 17388 0 0 0 16459 376 0 0 20 0 17 0 657375027 2147090432 460503 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30283/tid=30300] ppid=30281 vsize=2096768 CPUtime=163.85
/proc/30283/task/30300/stat : 30300 (ttsth-5-0) R 30281 30283 15497 0 -1 4202560 21983 0 0 0 15983 402 0 0 20 0 17 0 657375027 2147090432 460503 18446744073709551615 134512640 135237372 4294219296 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 2704.83
Current children cumulated vsize (KiB) 2096768

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

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

[startup+175.803 s]
/proc/loadavg: 16.01 15.65 14.84 17/201 30305
/proc/meminfo: memFree=17147520/36427776 swapFree=4692/1849468
[pid=30283] ppid=30281 vsize=0 CPUtime=2705.18
/proc/30283/stat : 30283 (ttsth-5-0) Z 30281 30283 15497 0 -1 4203532 461437 0 0 0 263944 6574 0 0 20 0 2 0 657374969 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30283/statm: 0 0 0 0 0 0 0
[pid=30283/tid=30292] ppid=30281 vsize=0 CPUtime=167.95
/proc/30283/task/30292/stat : 30292 (ttsth-5-0) R 30281 30283 15497 0 -1 4203588 30216 0 0 0 16307 488 0 0 20 0 2 0 657375027 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 2705.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 175.821
CPU time (s): 2705.2
CPU user time (s): 2639.45
CPU system time (s): 65.7481
CPU usage (%): 1538.61
Max. virtual memory (cumulated for all children) (KiB): 2096768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2639.45
system time used= 65.7481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 461437
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= 62677
involuntary context switches= 7902

runsolver used 0.748046 second user time and 2.64417 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 13:58:06
IDJOB=1781055
IDBENCH=71091
IDSOLVER=634
FILE ID=xenhost3-49/1781055-1244980686
PBS_JOBID=
Free space on /tmp= 7022 MiB

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

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

MD5SUM BENCH= 6419e2e5b92274df2e7e43e6c6a98566
RANDOM SEED= 289456911

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:      18989604 kB
Buffers:        524840 kB
Cached:       14118776 kB
SwapCached:          0 kB
Active:        4171496 kB
Inactive:     10481140 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1352 kB
Writeback:           0 kB
AnonPages:        9044 kB
Mapped:           3684 kB
Slab:           733564 kB
SReclaimable:   706720 kB
SUnreclaim:      26844 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= 7022 MiB
End job on xenhost3-49 at 2009-06-14 14:01:04