Trace number 1781175

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) 2606.74 167.228

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_06_UNSAT.cnf
MD5SUM540450986cd3d9879ae19d42219d1fab
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark48.83
Satisfiable
(Un)Satisfiability was proved
Number of variables980
Number of clauses47620
Sum of the clauses size141221
Maximum clause length7
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21731
Number of clauses of size 345866
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.00/0.05	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781175-1244981923.cnf 
0.00/0.05	c Using SATTIMEOUT of 10000
0.00/0.05	c Using SATRAM of 2047
0.00/0.05	c Size of subset node = 16
0.00/0.05	c Variables = 980
0.00/0.05	c Clauses = 47620
0.00/0.05	c Literals = 141221
0.00/0.05	c Reduced size:
0.00/0.05	c Variables = 980
0.00/0.05	c Clauses = 47620
0.00/0.05	c Literals = 141221
0.00/0.05	c a2
0.10/0.13	c a1
0.20/0.27	c Independent sub-problems = 1
0.20/0.27	c Sub-problem with 980 variables and 47620 clauses
0.20/0.27	c using permutation method 4
0.20/0.27	c count = 1
0.20/0.27	c Ordering finished 0.250 seconds
0.20/0.27	c mapped 0.270 seconds
0.20/0.27	c permuted 0.270 seconds
0.20/0.27	c about to sort
0.20/0.28	c sorted
0.40/0.46	c clauses now 47620
0.40/0.46	c init finished 0.300 seconds
0.40/0.46	c tree built 0.450 seconds
0.40/0.46	c 
0.40/0.46	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.40/0.46	c ---------------------------------|----------------------------------|------------------------------------------------------
0.40/0.46	c ................................ | ..........                       |                        0.5           0.0             
0.40/0.46	c ................................ | ..........                     1 |                        0.5           2.2             
0.40/0.46	c ................................ | ..........                     2 |                        0.5           4.4             
0.40/0.46	c ................................ | ..........                     3 |                        0.5           6.7             
0.40/0.46	c ................................ | ..........                     4 |                        0.5           8.9             
0.40/0.46	c ................................ | ..........                     5 |                        0.5          11.1             
0.78/0.54	c ................................ | ..........                  1000 | 18                     1.1         943.4        19207
219.65/15.38	c ................................ | ..........                267000 | 18603                201.5        1325.1     15415730
423.28/29.09	c ................................ | ..........                355000 | 23267                402.9         881.2     27704604
623.73/42.55	c ................................ | ..........                449000 | 28656                601.4         746.6     38261789
827.38/55.61	c ................................ | ..........                514000 | 33584                803.5         639.7     48084570
1025.29/68.05	c ................................ | *.........                574000 | 36919               1001.5         573.2     56663885
1226.40/80.62	c ................................ | *.........                621000 | 39608               1201.8         516.7     64289894
1424.36/93.09	c ................................ | *.........                671000 | 43550               1400.6         479.1     71562874
1627.15/105.75	c ................................ | *.........                736000 | 48531               1602.6         459.3     78670218
1826.67/118.25	c ................................ | *.........                797000 | 53367               1801.9         442.3     85948901
2028.12/130.83	c ................................ | **........                858000 | 57321               2002.7         428.4     91664073

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-1781175-1244981923/watcher-1781175-1244981923 -o /tmp/evaluation-result-1781175-1244981923/solver-1781175-1244981923 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781175-1244981923.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.99 15.84 15.40 2/184 30746
/proc/meminfo: memFree=18989360/36427776 swapFree=3648/7416
[pid=30746] ppid=30744 vsize=1540 CPUtime=0
/proc/30746/stat : 30746 (ttsth-5-0) R 30744 30746 15497 0 -1 4202496 274 0 0 0 0 0 0 0 20 0 1 0 657498662 1576960 231 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134732614 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/30746/statm: 385 231 75 177 0 207 0

[startup+0.019183 s]
/proc/loadavg: 15.99 15.84 15.40 2/184 30746
/proc/meminfo: memFree=18989360/36427776 swapFree=3648/7416
[pid=30746] ppid=30744 vsize=2068 CPUtime=0
/proc/30746/stat : 30746 (ttsth-5-0) R 30744 30746 15497 0 -1 4202496 419 0 0 0 0 0 0 0 20 0 1 0 657498662 2117632 376 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134732614 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/30746/statm: 517 377 75 177 0 339 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2068

[startup+0.103217 s]
/proc/loadavg: 15.99 15.84 15.40 2/184 30746
/proc/meminfo: memFree=18989360/36427776 swapFree=3648/7416
[pid=30746] ppid=30744 vsize=7116 CPUtime=0.1
/proc/30746/stat : 30746 (ttsth-5-0) R 30744 30746 15497 0 -1 4202496 1617 0 0 0 8 2 0 0 20 0 1 0 657498662 7286784 1573 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134749353 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/30746/statm: 1779 1573 76 177 0 1601 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7116

[startup+0.303252 s]
/proc/loadavg: 15.99 15.84 15.40 2/184 30746
/proc/meminfo: memFree=18989360/36427776 swapFree=3648/7416
[pid=30746] ppid=30744 vsize=13708 CPUtime=0.3
/proc/30746/stat : 30746 (ttsth-5-0) R 30744 30746 15497 0 -1 4202496 3768 0 0 0 26 4 0 0 20 0 1 0 657498662 14036992 3306 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134732614 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/30746/statm: 3460 3311 87 177 0 3282 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 13708

[startup+0.702264 s]
/proc/loadavg: 15.99 15.84 15.40 2/184 30746
/proc/meminfo: memFree=18989360/36427776 swapFree=3648/7416
[pid=30746] ppid=30744 vsize=162444 CPUtime=3.8
/proc/30746/stat : 30746 (ttsth-5-0) S 30744 30746 15497 0 -1 4202496 7847 0 0 0 155 225 0 0 20 0 17 0 657498662 166342656 7337 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30746/statm: 40611 7337 95 177 0 40433 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 162444

[startup+1.50351 s]
/proc/loadavg: 14.79 15.59 15.33 17/201 30763
/proc/meminfo: memFree=18960328/36427776 swapFree=4684/39328
[pid=30746] ppid=30744 vsize=175540 CPUtime=15.54
/proc/30746/stat : 30746 (ttsth-5-0) S 30744 30746 15497 0 -1 4202496 10917 0 0 0 762 792 0 0 20 0 17 0 657498662 179752960 10407 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30746/statm: 43885 10407 95 177 0 43707 0
[pid=30746/tid=30748] ppid=30744 vsize=175540 CPUtime=1.02
/proc/30746/task/30748/stat : 30748 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 398 0 0 0 96 6 0 0 20 0 17 0 657498709 179752960 10407 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30746/tid=30749] ppid=30744 vsize=175540 CPUtime=1
/proc/30746/task/30749/stat : 30749 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 292 0 0 0 40 60 0 0 20 0 17 0 657498709 179752960 10407 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30746/tid=30750] ppid=30744 vsize=175540 CPUtime=0.98
/proc/30746/task/30750/stat : 30750 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 196 0 0 0 40 58 0 0 20 0 17 0 657498709 179752960 10407 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30746/tid=30751] ppid=30744 vsize=175540 CPUtime=1
/proc/30746/task/30751/stat : 30751 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 253 0 0 0 44 56 0 0 20 0 17 0 657498709 179752960 10407 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30746/tid=30752] ppid=30744 vsize=175540 CPUtime=1
/proc/30746/task/30752/stat : 30752 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 271 0 0 0 50 50 0 0 20 0 17 0 657498709 179752960 10407 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30746/tid=30753] ppid=30744 vsize=175540 CPUtime=1
/proc/30746/task/30753/stat : 30753 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 184 0 0 0 40 60 0 0 20 0 17 0 657498709 179752960 10407 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30746/tid=30754] ppid=30744 vsize=175540 CPUtime=1
/proc/30746/task/30754/stat : 30754 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 296 0 0 0 42 58 0 0 20 0 17 0 657498709 179752960 10408 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134549885 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30746/tid=30755] ppid=30744 vsize=175540 CPUtime=1
/proc/30746/task/30755/stat : 30755 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 307 0 0 0 44 56 0 0 20 0 17 0 657498709 179752960 10408 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30746/tid=30756] ppid=30744 vsize=175540 CPUtime=1
/proc/30746/task/30756/stat : 30756 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 393 0 0 0 50 50 0 0 20 0 17 0 657498709 179752960 10408 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30746/tid=30757] ppid=30744 vsize=175540 CPUtime=0.46
/proc/30746/task/30757/stat : 30757 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 113 0 0 0 22 24 0 0 20 0 17 0 657498709 179752960 10408 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30746/tid=30758] ppid=30744 vsize=175540 CPUtime=0.98
/proc/30746/task/30758/stat : 30758 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 248 0 0 0 40 58 0 0 20 0 17 0 657498709 179752960 10408 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30746/tid=30759] ppid=30744 vsize=175540 CPUtime=1
/proc/30746/task/30759/stat : 30759 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 347 0 0 0 48 52 0 0 20 0 17 0 657498709 179752960 10408 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30746/tid=30760] ppid=30744 vsize=175540 CPUtime=0.98
/proc/30746/task/30760/stat : 30760 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 198 0 0 0 48 50 0 0 20 0 17 0 657498709 179752960 10408 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30746/tid=30761] ppid=30744 vsize=175540 CPUtime=1
/proc/30746/task/30761/stat : 30761 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 254 0 0 0 40 60 0 0 20 0 17 0 657498709 179752960 10409 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30746/tid=30762] ppid=30744 vsize=175540 CPUtime=0.54
/proc/30746/task/30762/stat : 30762 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 127 0 0 0 26 28 0 0 20 0 17 0 657498709 179752960 10409 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30746/tid=30763] ppid=30744 vsize=175540 CPUtime=0.98
/proc/30746/task/30763/stat : 30763 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 238 0 0 0 40 58 0 0 20 0 17 0 657498710 179752960 10409 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 15.54
Current children cumulated vsize (KiB) 175540

[startup+3.1028 s]
/proc/loadavg: 14.79 15.59 15.33 17/201 30763
/proc/meminfo: memFree=18943632/36427776 swapFree=4692/56408
[pid=30746] ppid=30744 vsize=205292 CPUtime=39.09
/proc/30746/stat : 30746 (ttsth-5-0) S 30744 30746 15497 0 -1 4202496 17606 0 0 0 2248 1661 0 0 20 0 17 0 657498662 210219008 17096 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30746/statm: 51323 17096 95 177 0 51145 0
[pid=30746/tid=30748] ppid=30744 vsize=205292 CPUtime=2.62
/proc/30746/task/30748/stat : 30748 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 918 0 0 0 256 6 0 0 20 0 17 0 657498709 210219008 17096 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30746/tid=30749] ppid=30744 vsize=205292 CPUtime=2.56
/proc/30746/task/30749/stat : 30749 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 788 0 0 0 134 122 0 0 20 0 17 0 657498709 210219008 17096 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30746/tid=30750] ppid=30744 vsize=205292 CPUtime=2.56
/proc/30746/task/30750/stat : 30750 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 589 0 0 0 134 122 0 0 20 0 17 0 657498709 210219008 17096 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30746/tid=30751] ppid=30744 vsize=205292 CPUtime=2.56
/proc/30746/task/30751/stat : 30751 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 718 0 0 0 144 112 0 0 20 0 17 0 657498709 210219008 17096 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30746/tid=30752] ppid=30744 vsize=205292 CPUtime=2.58
/proc/30746/task/30752/stat : 30752 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 689 0 0 0 142 116 0 0 20 0 17 0 657498709 210219008 17096 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30746/tid=30753] ppid=30744 vsize=205292 CPUtime=2.56
/proc/30746/task/30753/stat : 30753 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 612 0 0 0 132 124 0 0 20 0 17 0 657498709 210219008 17096 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30746/tid=30754] ppid=30744 vsize=205292 CPUtime=2.56
/proc/30746/task/30754/stat : 30754 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 768 0 0 0 138 118 0 0 20 0 17 0 657498709 210219008 17096 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30746/tid=30755] ppid=30744 vsize=205292 CPUtime=2.56
/proc/30746/task/30755/stat : 30755 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 801 0 0 0 136 120 0 0 20 0 17 0 657498709 210219008 17096 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30746/tid=30756] ppid=30744 vsize=205292 CPUtime=2.56
/proc/30746/task/30756/stat : 30756 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 785 0 0 0 148 108 0 0 20 0 17 0 657498709 210219008 17096 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30746/tid=30757] ppid=30744 vsize=205292 CPUtime=1.92
/proc/30746/task/30757/stat : 30757 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 497 0 0 0 104 88 0 0 20 0 17 0 657498709 210219008 17096 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30746/tid=30758] ppid=30744 vsize=205292 CPUtime=2.56
/proc/30746/task/30758/stat : 30758 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 770 0 0 0 142 114 0 0 20 0 17 0 657498709 210219008 17096 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30746/tid=30759] ppid=30744 vsize=205292 CPUtime=2.56
/proc/30746/task/30759/stat : 30759 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 806 0 0 0 142 114 0 0 20 0 17 0 657498709 210219008 17097 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30746/tid=30760] ppid=30744 vsize=205292 CPUtime=2.5
/proc/30746/task/30760/stat : 30760 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 553 0 0 0 132 118 0 0 20 0 17 0 657498709 210219008 17097 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30746/tid=30761] ppid=30744 vsize=205292 CPUtime=2.58
/proc/30746/task/30761/stat : 30761 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 677 0 0 0 136 122 0 0 20 0 17 0 657498709 210219008 17097 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30746/tid=30762] ppid=30744 vsize=205292 CPUtime=1.32
/proc/30746/task/30762/stat : 30762 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 348 0 0 0 80 52 0 0 20 0 17 0 657498709 210219008 17097 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30746/tid=30763] ppid=30744 vsize=205292 CPUtime=1.9
/proc/30746/task/30763/stat : 30763 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 485 0 0 0 96 94 0 0 20 0 17 0 657498710 210219008 17097 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 39.09
Current children cumulated vsize (KiB) 205292

[startup+6.3029 s]
/proc/loadavg: 14.89 15.60 15.33 17/201 30763
/proc/meminfo: memFree=18883260/36427776 swapFree=4692/118632
[pid=30746] ppid=30744 vsize=265816 CPUtime=86.34
/proc/30746/stat : 30746 (ttsth-5-0) S 30744 30746 15497 0 -1 4202496 32266 0 0 0 5861 2773 0 0 20 0 17 0 657498662 272195584 31756 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30746/statm: 66454 31756 95 177 0 66276 0
[pid=30746/tid=30748] ppid=30744 vsize=265816 CPUtime=5.82
/proc/30746/task/30748/stat : 30748 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 1817 0 0 0 574 8 0 0 20 0 17 0 657498709 272195584 31756 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30746/tid=30749] ppid=30744 vsize=265816 CPUtime=5.7
/proc/30746/task/30749/stat : 30749 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 2239 0 0 0 356 214 0 0 20 0 17 0 657498709 272195584 31757 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30746/tid=30750] ppid=30744 vsize=265816 CPUtime=5.7
/proc/30746/task/30750/stat : 30750 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 1557 0 0 0 358 212 0 0 20 0 17 0 657498709 272195584 31757 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30746/tid=30751] ppid=30744 vsize=265816 CPUtime=5.74
/proc/30746/task/30751/stat : 30751 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 1845 0 0 0 394 180 0 0 20 0 17 0 657498709 272195584 31757 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30746/tid=30752] ppid=30744 vsize=265816 CPUtime=5.72
/proc/30746/task/30752/stat : 30752 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 1651 0 0 0 374 198 0 0 20 0 17 0 657498709 272195584 31757 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30746/tid=30753] ppid=30744 vsize=265816 CPUtime=5.66
/proc/30746/task/30753/stat : 30753 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 1739 0 0 0 350 216 0 0 20 0 17 0 657498709 272195584 31757 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30746/tid=30754] ppid=30744 vsize=265816 CPUtime=5.74
/proc/30746/task/30754/stat : 30754 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 1627 0 0 0 392 182 0 0 20 0 17 0 657498709 272195584 31757 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134680229 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30746/tid=30755] ppid=30744 vsize=265816 CPUtime=5.7
/proc/30746/task/30755/stat : 30755 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 1832 0 0 0 366 204 0 0 20 0 17 0 657498709 272195584 31757 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30746/tid=30756] ppid=30744 vsize=265972 CPUtime=5.72
/proc/30746/task/30756/stat : 30756 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 1936 0 0 0 386 186 0 0 20 0 17 0 657498709 272355328 31758 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134561669 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30746/tid=30757] ppid=30744 vsize=265972 CPUtime=5.06
/proc/30746/task/30757/stat : 30757 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 1365 0 0 0 324 182 0 0 20 0 17 0 657498709 272355328 31758 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30746/tid=30758] ppid=30744 vsize=265972 CPUtime=5.72
/proc/30746/task/30758/stat : 30758 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 1576 0 0 0 388 184 0 0 20 0 17 0 657498709 272355328 31758 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30746/tid=30759] ppid=30744 vsize=265972 CPUtime=5.72
/proc/30746/task/30759/stat : 30759 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 1870 0 0 0 374 198 0 0 20 0 17 0 657498709 272355328 31758 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30746/tid=30760] ppid=30744 vsize=265972 CPUtime=5.58
/proc/30746/task/30760/stat : 30760 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 1222 0 0 0 362 196 0 0 20 0 17 0 657498709 272355328 31758 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562416 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30746/tid=30761] ppid=30744 vsize=265972 CPUtime=5.74
/proc/30746/task/30761/stat : 30761 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 1570 0 0 0 378 196 0 0 20 0 17 0 657498709 272355328 31758 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30746/tid=30762] ppid=30744 vsize=265972 CPUtime=2.96
/proc/30746/task/30762/stat : 30762 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 733 0 0 0 210 86 0 0 20 0 17 0 657498709 272355328 31759 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30746/tid=30763] ppid=30744 vsize=265972 CPUtime=3.48
/proc/30746/task/30763/stat : 30763 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 886 0 0 0 228 120 0 0 20 0 17 0 657498710 272355328 31759 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 86.34
Current children cumulated vsize (KiB) 265816

[startup+12.7043 s]
/proc/loadavg: 14.98 15.61 15.33 8/201 30763
/proc/meminfo: memFree=18761328/36427776 swapFree=4692/238440
[pid=30746] ppid=30744 vsize=392008 CPUtime=180.76
/proc/30746/stat : 30746 (ttsth-5-0) S 30744 30746 15497 0 -1 4202496 61554 0 0 0 14397 3679 0 0 20 0 17 0 657498662 401416192 61044 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30746/statm: 98002 61045 95 177 0 97824 0
[pid=30746/tid=30748] ppid=30744 vsize=392008 CPUtime=12.2
/proc/30746/task/30748/stat : 30748 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 3336 0 0 0 1210 10 0 0 20 0 17 0 657498709 401416192 61045 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134751534 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30746/tid=30749] ppid=30744 vsize=392008 CPUtime=11.98
/proc/30746/task/30749/stat : 30749 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 4657 0 0 0 924 274 0 0 20 0 17 0 657498709 401416192 61046 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30746/tid=30750] ppid=30744 vsize=392008 CPUtime=12
/proc/30746/task/30750/stat : 30750 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 3599 0 0 0 906 294 0 0 20 0 17 0 657498709 401416192 61046 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30746/tid=30751] ppid=30744 vsize=392008 CPUtime=12.1
/proc/30746/task/30751/stat : 30751 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 3462 0 0 0 986 224 0 0 20 0 17 0 657498709 401416192 61046 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30746/tid=30752] ppid=30744 vsize=392008 CPUtime=12.06
/proc/30746/task/30752/stat : 30752 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 3220 0 0 0 954 252 0 0 20 0 17 0 657498709 401416192 61046 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30746/tid=30753] ppid=30744 vsize=392008 CPUtime=11.94
/proc/30746/task/30753/stat : 30753 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 4360 0 0 0 902 292 0 0 20 0 17 0 657498709 401416192 61046 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30746/tid=30754] ppid=30744 vsize=392008 CPUtime=9.56
/proc/30746/task/30754/stat : 30754 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 3014 0 0 0 738 218 0 0 20 0 17 0 657498709 401416192 61046 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30746/tid=30755] ppid=30744 vsize=392008 CPUtime=11.94
/proc/30746/task/30755/stat : 30755 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 4112 0 0 0 910 284 0 0 20 0 17 0 657498709 401416192 61046 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0

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

/proc/30746/task/30751/stat : 30751 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 10809 0 0 0 4432 296 0 0 20 0 17 0 657498709 972058624 191644 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30746/tid=30752] ppid=30744 vsize=949276 CPUtime=50.22
/proc/30746/task/30752/stat : 30752 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 9300 0 0 0 4694 328 0 0 20 0 17 0 657498709 972058624 191644 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30746/tid=30753] ppid=30744 vsize=949276 CPUtime=49.93
/proc/30746/task/30753/stat : 30753 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 17256 0 0 0 4561 432 0 0 20 0 17 0 657498709 972058624 191644 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30746/tid=30754] ppid=30744 vsize=949276 CPUtime=30.54
/proc/30746/task/30754/stat : 30754 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 10309 0 0 0 2790 264 0 0 20 0 17 0 657498709 972058624 191644 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30746/tid=30755] ppid=30744 vsize=949276 CPUtime=47.41
/proc/30746/task/30755/stat : 30755 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 16468 0 0 0 4361 380 0 0 20 0 17 0 657498709 972058624 191644 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30746/tid=30756] ppid=30744 vsize=949276 CPUtime=49.93
/proc/30746/task/30756/stat : 30756 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 14861 0 0 0 4637 356 0 0 20 0 17 0 657498709 972058624 191645 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30746/tid=30757] ppid=30744 vsize=949276 CPUtime=49.43
/proc/30746/task/30757/stat : 30757 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 11671 0 0 0 4607 336 0 0 20 0 17 0 657498709 972058624 191645 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30746/tid=30758] ppid=30744 vsize=949276 CPUtime=50.19
/proc/30746/task/30758/stat : 30758 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 9148 0 0 0 4719 300 0 0 20 0 17 0 657498709 972058624 191645 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30746/tid=30759] ppid=30744 vsize=949276 CPUtime=50.17
/proc/30746/task/30759/stat : 30759 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 14094 0 0 0 4653 364 0 0 20 0 17 0 657498709 972058624 191645 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30746/tid=30760] ppid=30744 vsize=949276 CPUtime=49.17
/proc/30746/task/30760/stat : 30760 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 9488 0 0 0 4585 332 0 0 20 0 17 0 657498709 972058624 191645 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30746/tid=30761] ppid=30744 vsize=949276 CPUtime=50.06
/proc/30746/task/30761/stat : 30761 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 11188 0 0 0 4662 344 0 0 20 0 17 0 657498709 972058624 191645 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30746/tid=30762] ppid=30744 vsize=949276 CPUtime=45.25
/proc/30746/task/30762/stat : 30762 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 10340 0 0 0 4307 218 0 0 20 0 17 0 657498709 972058624 191645 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562401 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30746/tid=30763] ppid=30744 vsize=949276 CPUtime=43.06
/proc/30746/task/30763/stat : 30763 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 6356 0 0 0 4088 218 0 0 20 0 17 0 657498710 972058624 191645 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 755.58
Current children cumulated vsize (KiB) 949276

[startup+102.316 s]
/proc/loadavg: 15.77 15.70 15.39 17/201 30768
/proc/meminfo: memFree=17709904/36427776 swapFree=4692/1288240
[pid=30746] ppid=30744 vsize=1500980 CPUtime=1573.07
/proc/30746/stat : 30746 (ttsth-5-0) S 30744 30746 15497 0 -1 4202496 320930 0 0 0 151561 5746 0 0 20 0 17 0 657498662 1537003520 320420 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30746/statm: 375245 320420 95 177 0 375067 0
[pid=30746/tid=30748] ppid=30744 vsize=1500980 CPUtime=101.7
/proc/30746/task/30748/stat : 30748 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 12783 0 0 0 10136 34 0 0 20 0 17 0 657498709 1537003520 320420 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30746/tid=30749] ppid=30744 vsize=1500980 CPUtime=92.94
/proc/30746/task/30749/stat : 30749 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 23512 0 0 0 8884 410 0 0 20 0 17 0 657498709 1537003520 320420 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30746/tid=30750] ppid=30744 vsize=1500980 CPUtime=101.23
/proc/30746/task/30750/stat : 30750 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 20728 0 0 0 9685 438 0 0 20 0 17 0 657498709 1537003520 320420 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30746/tid=30751] ppid=30744 vsize=1500980 CPUtime=98.43
/proc/30746/task/30751/stat : 30751 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 19990 0 0 0 9489 354 0 0 20 0 17 0 657498709 1537003520 320420 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134565939 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30746/tid=30752] ppid=30744 vsize=1500980 CPUtime=101.37
/proc/30746/task/30752/stat : 30752 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 16461 0 0 0 9761 376 0 0 20 0 17 0 657498709 1537003520 320421 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30746/tid=30753] ppid=30744 vsize=1500980 CPUtime=101.05
/proc/30746/task/30753/stat : 30753 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 29752 0 0 0 9593 512 0 0 20 0 17 0 657498709 1537003520 320421 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30746/tid=30754] ppid=30744 vsize=1500980 CPUtime=81.71
/proc/30746/task/30754/stat : 30754 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 19825 0 0 0 7845 326 0 0 20 0 17 0 657498709 1537003520 320421 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30746/tid=30755] ppid=30744 vsize=1500980 CPUtime=98.54
/proc/30746/task/30755/stat : 30755 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 30265 0 0 0 9400 454 0 0 20 0 17 0 657498709 1537003520 320421 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30746/tid=30756] ppid=30744 vsize=1500980 CPUtime=101.09
/proc/30746/task/30756/stat : 30756 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 21249 0 0 0 9709 400 0 0 20 0 17 0 657498709 1537003520 320421 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30746/tid=30757] ppid=30744 vsize=1500980 CPUtime=100.58
/proc/30746/task/30757/stat : 30757 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 18536 0 0 0 9668 390 0 0 20 0 17 0 657498709 1537003520 320421 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30746/tid=30758] ppid=30744 vsize=1500980 CPUtime=101.36
/proc/30746/task/30758/stat : 30758 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 13770 0 0 0 9798 338 0 0 20 0 17 0 657498709 1537003520 320421 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30746/tid=30759] ppid=30744 vsize=1500980 CPUtime=101.33
/proc/30746/task/30759/stat : 30759 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 20588 0 0 0 9725 408 0 0 20 0 17 0 657498709 1537003520 320421 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30746/tid=30760] ppid=30744 vsize=1500980 CPUtime=99.35
/proc/30746/task/30760/stat : 30760 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 13894 0 0 0 9565 370 0 0 20 0 17 0 657498709 1537003520 320421 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30746/tid=30761] ppid=30744 vsize=1500980 CPUtime=101.23
/proc/30746/task/30761/stat : 30761 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 21833 0 0 0 9723 400 0 0 20 0 17 0 657498709 1537003520 320421 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30746/tid=30762] ppid=30744 vsize=1500980 CPUtime=96.42
/proc/30746/task/30762/stat : 30762 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 18499 0 0 0 9386 256 0 0 20 0 17 0 657498709 1537003520 320421 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30746/tid=30763] ppid=30744 vsize=1500980 CPUtime=94.19
/proc/30746/task/30763/stat : 30763 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 12443 0 0 0 9145 274 0 0 20 0 17 0 657498710 1537003520 320421 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1573.07
Current children cumulated vsize (KiB) 1500980

[startup+162.305 s]
/proc/loadavg: 15.91 15.76 15.43 17/201 30768
/proc/meminfo: memFree=17198932/36427776 swapFree=4692/1798840
[pid=30746] ppid=30744 vsize=2053080 CPUtime=2531.04
/proc/30746/stat : 30746 (ttsth-5-0) S 30744 30746 15497 0 -1 4202496 450265 0 0 0 246634 6470 0 0 20 0 17 0 657498662 2102353920 449755 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30746/statm: 513270 449755 95 177 0 513092 0
[pid=30746/tid=30748] ppid=30744 vsize=2053080 CPUtime=161.67
/proc/30746/task/30748/stat : 30748 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 17908 0 0 0 16109 58 0 0 20 0 17 0 657498709 2102353920 449755 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30746/tid=30749] ppid=30744 vsize=2053080 CPUtime=152.84
/proc/30746/task/30749/stat : 30749 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 35921 0 0 0 14810 474 0 0 20 0 17 0 657498709 2102353920 449755 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30746/tid=30750] ppid=30744 vsize=2053080 CPUtime=161.17
/proc/30746/task/30750/stat : 30750 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 26595 0 0 0 15639 478 0 0 20 0 17 0 657498709 2102353920 449755 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30746/tid=30751] ppid=30744 vsize=2053080 CPUtime=158.37
/proc/30746/task/30751/stat : 30751 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 25841 0 0 0 15439 398 0 0 20 0 17 0 657498709 2102353920 449755 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30746/tid=30752] ppid=30744 vsize=2053080 CPUtime=161.29
/proc/30746/task/30752/stat : 30752 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 29946 0 0 0 15697 432 0 0 20 0 17 0 657498709 2102353920 449755 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30746/tid=30753] ppid=30744 vsize=2053080 CPUtime=160.99
/proc/30746/task/30753/stat : 30753 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 37995 0 0 0 15533 566 0 0 20 0 17 0 657498709 2102353920 449755 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30746/tid=30754] ppid=30744 vsize=2053080 CPUtime=141.65
/proc/30746/task/30754/stat : 30754 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 27070 0 0 0 13797 368 0 0 20 0 17 0 657498709 2102353920 449755 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30746/tid=30755] ppid=30744 vsize=2053080 CPUtime=158.47
/proc/30746/task/30755/stat : 30755 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 42318 0 0 0 15337 510 0 0 20 0 17 0 657498709 2102353920 449755 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30746/tid=30756] ppid=30744 vsize=2053080 CPUtime=161.03
/proc/30746/task/30756/stat : 30756 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 27830 0 0 0 15657 446 0 0 20 0 17 0 657498709 2102353920 449755 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30746/tid=30757] ppid=30744 vsize=2053080 CPUtime=160.52
/proc/30746/task/30757/stat : 30757 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 27118 0 0 0 15612 440 0 0 20 0 17 0 657498709 2102353920 449755 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30746/tid=30758] ppid=30744 vsize=2053080 CPUtime=161.3
/proc/30746/task/30758/stat : 30758 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 19929 0 0 0 15760 370 0 0 20 0 17 0 657498709 2102353920 449756 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30746/tid=30759] ppid=30744 vsize=2053080 CPUtime=161.29
/proc/30746/task/30759/stat : 30759 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 25554 0 0 0 15691 438 0 0 20 0 17 0 657498709 2102353920 449757 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30746/tid=30760] ppid=30744 vsize=2053080 CPUtime=158.11
/proc/30746/task/30760/stat : 30760 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 26440 0 0 0 15371 440 0 0 20 0 17 0 657498709 2102353920 449757 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30746/tid=30761] ppid=30744 vsize=2053080 CPUtime=161.18
/proc/30746/task/30761/stat : 30761 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 29809 0 0 0 15676 442 0 0 20 0 17 0 657498709 2102353920 449757 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30746/tid=30762] ppid=30744 vsize=2053080 CPUtime=156.38
/proc/30746/task/30762/stat : 30762 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 22427 0 0 0 15358 280 0 0 20 0 17 0 657498709 2102353920 449757 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30746/tid=30763] ppid=30744 vsize=2053080 CPUtime=154.13
/proc/30746/task/30763/stat : 30763 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 20762 0 0 0 15093 320 0 0 20 0 17 0 657498710 2102353920 449757 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2531.04
Current children cumulated vsize (KiB) 2053080



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+167.007 s]
/proc/loadavg: 15.92 15.76 15.43 17/201 30768
/proc/meminfo: memFree=17147708/36427776 swapFree=4692/1849092
[pid=30746] ppid=30744 vsize=2096484 CPUtime=2606.32
/proc/30746/stat : 30746 (ttsth-5-0) S 30744 30746 15497 0 -1 4202496 460741 0 0 0 254109 6523 0 0 20 0 17 0 657498662 2146799616 460231 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30746/statm: 524121 460231 95 177 0 523943 0
[pid=30746/tid=30748] ppid=30744 vsize=2096484 CPUtime=166.39
/proc/30746/task/30748/stat : 30748 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 18361 0 0 0 16579 60 0 0 20 0 17 0 657498709 2146799616 460231 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30746/tid=30749] ppid=30744 vsize=2096484 CPUtime=157.57
/proc/30746/task/30749/stat : 30749 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 36771 0 0 0 15275 482 0 0 20 0 17 0 657498709 2146799616 460231 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134749318 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30746/tid=30750] ppid=30744 vsize=2096484 CPUtime=165.87
/proc/30746/task/30750/stat : 30750 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 27059 0 0 0 16107 480 0 0 20 0 17 0 657498709 2146799616 460231 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134565869 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30746/tid=30751] ppid=30744 vsize=2096484 CPUtime=163.08
/proc/30746/task/30751/stat : 30751 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 26065 0 0 0 15908 400 0 0 20 0 17 0 657498709 2146799616 460231 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30746/tid=30752] ppid=30744 vsize=2096484 CPUtime=165.99
/proc/30746/task/30752/stat : 30752 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 31512 0 0 0 16163 436 0 0 20 0 17 0 657498709 2146799616 460231 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30746/tid=30753] ppid=30744 vsize=2096484 CPUtime=165.69
/proc/30746/task/30753/stat : 30753 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 38610 0 0 0 15999 570 0 0 20 0 17 0 657498709 2146799616 460231 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30746/tid=30754] ppid=30744 vsize=2096484 CPUtime=146.36
/proc/30746/task/30754/stat : 30754 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 27603 0 0 0 14266 370 0 0 20 0 17 0 657498709 2146799616 460231 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562407 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30746/tid=30755] ppid=30744 vsize=2096484 CPUtime=163.17
/proc/30746/task/30755/stat : 30755 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 43644 0 0 0 15801 516 0 0 20 0 17 0 657498709 2146799616 460231 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562399 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30746/tid=30756] ppid=30744 vsize=2096484 CPUtime=165.73
/proc/30746/task/30756/stat : 30756 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 28710 0 0 0 16121 452 0 0 20 0 17 0 657498709 2146799616 460231 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30746/tid=30757] ppid=30744 vsize=2096484 CPUtime=165.25
/proc/30746/task/30757/stat : 30757 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 28121 0 0 0 16081 444 0 0 20 0 17 0 657498709 2146799616 460231 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30746/tid=30758] ppid=30744 vsize=2096484 CPUtime=166.01
/proc/30746/task/30758/stat : 30758 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 20532 0 0 0 16229 372 0 0 20 0 17 0 657498709 2146799616 460231 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30746/tid=30759] ppid=30744 vsize=2096484 CPUtime=166.01
/proc/30746/task/30759/stat : 30759 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 25876 0 0 0 16161 440 0 0 20 0 17 0 657498709 2146799616 460231 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30746/tid=30760] ppid=30744 vsize=2096484 CPUtime=162.72
/proc/30746/task/30760/stat : 30760 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 27081 0 0 0 15830 442 0 0 20 0 17 0 657498709 2146799616 460232 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134587921 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30746/tid=30761] ppid=30744 vsize=2096484 CPUtime=165.91
/proc/30746/task/30761/stat : 30761 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 30235 0 0 0 16147 444 0 0 20 0 17 0 657498709 2146799616 460232 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30746/tid=30762] ppid=30744 vsize=2096484 CPUtime=161.08
/proc/30746/task/30762/stat : 30762 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 22681 0 0 0 15828 280 0 0 20 0 17 0 657498709 2146799616 460232 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30746/tid=30763] ppid=30744 vsize=2096484 CPUtime=158.85
/proc/30746/task/30763/stat : 30763 (ttsth-5-0) R 30744 30746 15497 0 -1 4202560 21079 0 0 0 15563 322 0 0 20 0 17 0 657498710 2146799616 460232 18446744073709551615 134512640 135237372 4289038640 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2606.32
Current children cumulated vsize (KiB) 2096484

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

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

[startup+167.214 s]
/proc/loadavg: 15.92 15.76 15.43 2/187 30769
/proc/meminfo: memFree=17791332/36427776 swapFree=4692/1203656
[pid=30746] ppid=30744 vsize=0 CPUtime=2606.73
/proc/30746/stat : 30746 (ttsth-5-0) Z 30744 30746 15497 0 -1 4203532 460761 0 0 0 254131 6542 0 0 20 0 2 0 657498662 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30746/statm: 0 0 0 0 0 0 0
[pid=30746/tid=30762] ppid=30744 vsize=0 CPUtime=161.27
/proc/30746/task/30762/stat : 30762 (ttsth-5-0) R 30744 30746 15497 0 -1 4203588 22683 0 0 0 15829 298 0 0 20 0 2 0 657498709 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) 2606.73
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 167.228
CPU time (s): 2606.74
CPU user time (s): 2541.31
CPU system time (s): 65.4281
CPU usage (%): 1558.8
Max. virtual memory (cumulated for all children) (KiB): 2096484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2541.31
system time used= 65.4281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460761
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= 59138
involuntary context switches= 6721

runsolver used 0.752047 second user time and 2.47215 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 14:18:43
IDJOB=1781175
IDBENCH=71102
IDSOLVER=634
FILE ID=xenhost3-49/1781175-1244981923
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_06_UNSAT.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1781175-1244981923/watcher-1781175-1244981923 -o /tmp/evaluation-result-1781175-1244981923/solver-1781175-1244981923 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781175-1244981923.cnf

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

MD5SUM BENCH= 540450986cd3d9879ae19d42219d1fab
RANDOM SEED= 825595789

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:      18989360 kB
Buffers:        524844 kB
Cached:       14119304 kB
SwapCached:          0 kB
Active:        4171604 kB
Inactive:     10481308 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1356 kB
Writeback:           0 kB
AnonPages:        7416 kB
Mapped:           2984 kB
Slab:           733628 kB
SReclaimable:   706760 kB
SUnreclaim:      26868 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:21:32