Trace number 1779810

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) 2666.19 225.719

General information on the benchmark

NameAPPLICATIONS/aprove09/
AProVE09-03.cnf
MD5SUMd9da53bac6f8ccfc4700d7feca025fc7
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.59
Satisfiable
(Un)Satisfiability was proved
Number of variables59231
Number of clauses206299
Sum of the clauses size512421
Maximum clause length12707
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2160864
Number of clauses of size 322386
Number of clauses of size 416076
Number of clauses of size 53106
Number of clauses of size over 53866

Solver Data 

0.48/0.55	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779810-1244956217.cnf 
0.48/0.55	c Using SATTIMEOUT of 10000
0.48/0.55	c Using SATRAM of 2047
0.48/0.55	c Size of subset node = 16
0.48/0.55	c Variables = 59231
0.48/0.55	c Clauses = 206299
0.48/0.55	c Literals = 512421
0.48/0.55	c Reduced size:
0.48/0.55	c Variables = 59231
0.48/0.55	c Clauses = 109324
0.48/0.55	c Literals = 264929
0.48/0.55	c a2
0.58/0.70	c a1
0.70/0.80	c Independent sub-problems = 3
0.70/0.80	c Sub-problem with 49 variables and 119 clauses
0.70/0.80	c using permutation method 3
0.70/0.80	c Ordering finished 0.790 seconds
0.70/0.80	c mapped 0.790 seconds
0.70/0.80	c permuted 0.790 seconds
0.70/0.80	c about to sort
0.70/0.80	c sorted
0.70/0.80	c clauses now 119
0.70/0.80	c init finished 0.790 seconds
0.70/0.80	c tree built 0.790 seconds
0.70/0.80	c 
0.70/0.80	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.70/0.80	c ---------------------------------|----------------------------------|------------------------------------------------------
0.70/0.80	c ................................ | ..........                       |                        0.8           0.0             
0.80/0.80	c ................................ | ..........                     1 |                        0.8           1.3             
0.80/0.80	c ................................ | ..........                     2 |                        0.8           2.5             
0.80/0.80	c ................................ | ..........                     3 |                        0.8           3.8            1
0.80/0.86	c Satisfiable sub-problem
0.80/0.86	c Sub-problem with 51 variables and 123 clauses
0.80/0.86	c using permutation method 3
0.80/0.86	c Ordering finished 0.850 seconds
0.80/0.86	c mapped 0.850 seconds
0.80/0.86	c permuted 0.850 seconds
0.80/0.86	c about to sort
0.80/0.86	c sorted
0.80/0.86	c clauses now 123
0.80/0.86	c init finished 0.850 seconds
0.80/0.86	c tree built 0.850 seconds
0.80/0.86	c 
0.80/0.86	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.80/0.86	c ---------------------------------|----------------------------------|------------------------------------------------------
0.80/0.86	c ................................ | ..........                     4 |                        0.8           4.7           19
0.80/0.86	c ................................ | ..........                     5 |                        0.8           5.9           19
0.80/0.86	c ................................ | ..........                     6 |                        0.8           7.1           19
0.80/0.86	c ................................ | ..........                     7 |                        0.8           8.2           19
0.80/0.86	c ................................ | ..........                     8 |                        0.8           9.4           19
0.80/0.86	c ................................ | ..........                     9 |                        0.8          10.6           19
7.70/7.73	c Satisfiable sub-problem
7.70/7.73	c Sub-problem with 38682 variables and 109082 clauses
7.70/7.73	c using permutation method 4
7.70/7.73	c count = 1
7.70/7.73	c Ordering finished 7.680 seconds
7.70/7.73	c mapped 7.720 seconds
7.70/7.73	c permuted 7.720 seconds
7.70/7.73	c about to sort
7.70/7.76	c sorted
9.48/9.51	c clauses now 109082
9.48/9.51	c init finished 8.680 seconds
9.48/9.51	c tree built 9.500 seconds
9.48/9.51	c 
9.48/9.51	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
9.48/9.51	c ---------------------------------|----------------------------------|------------------------------------------------------
9.48/9.51	c ................................ | ..........                    56 |                        9.5           5.9           43
9.48/9.52	c ................................ | ..........                    57 |                        9.5           6.0          113
9.48/9.52	c ................................ | ..........                    58 |                        9.5           6.1          113
9.48/9.52	c ................................ | ..........                    59 |                        9.5           6.2          113
9.48/9.52	c ................................ | ..........                    60 |                        9.5           6.3          113
9.48/9.52	c ................................ | ..........                    61 |                        9.5           6.4          113
9.48/9.52	c *............................... | ..........                    62 |                        9.5           6.5          125
9.48/9.52	c **.............................. | ..........                    64 | 1                      9.5           6.7          131
9.48/9.52	c **.............................. | ..........                    65 | 1                      9.5           6.8          147
9.48/9.52	c ***............................. | ..........                    67 | 2                      9.5           7.0          155
9.48/9.52	c ****............................ | ..........                    73 | 4                      9.5           7.7          165
9.48/9.52	c ****............................ | ..........                    74 | 4                      9.5           7.8          165
9.48/9.52	c ****............................ | ..........                    75 | 4                      9.5           7.9          165
9.48/9.52	c *****........................... | ..........                    77 | 5                      9.5           8.1          167
9.48/9.52	c ******.......................... | ..........                    80 | 7                      9.5           8.4          172
9.48/9.52	c ******.......................... | ..........                    81 | 7                      9.5           8.5          172
9.48/9.52	c *******......................... | ..........                    84 | 9                      9.5           8.8          175
9.48/9.53	c *******......................... | ..........                  1000 | 21                     9.6         104.2         1005
271.39/29.92	c *******......................... | ..........               1926000 | 69622                200.1        9627.6      5624647
522.92/51.51	c *******......................... | ..........               4054000 | 151590               400.0       10134.0     11438374
762.50/71.25	c *******......................... | ..........               5281000 | 202705               600.0        8801.7     19360565
989.18/92.16	c *******......................... | ..........               6541000 | 256711               800.0        8176.2     27452086
1236.28/111.90	c *******......................... | *.........               7832000 | 312981              1002.1        7815.7     34363229
1486.78/130.75	c *******......................... | *.........               9150000 | 376029              1200.0        7624.9     42055035
1729.59/150.30	c *******......................... | *.........              10215000 | 430989              1401.1        7290.7     49082531
1962.67/168.80	c *******......................... | *.........              10925000 | 475627              1600.4        6826.3     57742461
2209.57/187.38	c *******......................... | *.........              11655000 | 511695              1800.6        6472.9     65809634
2460.35/206.74	c *******......................... | **........              12460000 | 549960              2000.2        6229.4     71990104

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-1779810-1244956217/watcher-1779810-1244956217 -o /tmp/evaluation-result-1779810-1244956217/solver-1779810-1244956217 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779810-1244956217.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: 12.25 13.80 14.37 2/184 25645
/proc/meminfo: memFree=19040256/36427776 swapFree=4676/7140
[pid=25645] ppid=25643 vsize=1544 CPUtime=0
/proc/25645/stat : 25645 (ttsth-5-0) R 25643 25645 15497 0 -1 4202496 265 0 0 0 0 0 0 0 20 0 1 0 654928125 1581056 222 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134732614 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/25645/statm: 386 223 74 177 0 208 0

[startup+0.045605 s]
/proc/loadavg: 12.25 13.80 14.37 2/184 25645
/proc/meminfo: memFree=19040256/36427776 swapFree=4676/7140
[pid=25645] ppid=25643 vsize=4032 CPUtime=0.04
/proc/25645/stat : 25645 (ttsth-5-0) R 25643 25645 15497 0 -1 4202496 902 0 0 0 2 2 0 0 20 0 1 0 654928125 4128768 859 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134732614 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/25645/statm: 1008 861 75 177 0 830 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4032

[startup+0.101623 s]
/proc/loadavg: 12.25 13.80 14.37 2/184 25645
/proc/meminfo: memFree=19040256/36427776 swapFree=4676/7140
[pid=25645] ppid=25643 vsize=7896 CPUtime=0.1
/proc/25645/stat : 25645 (ttsth-5-0) R 25643 25645 15497 0 -1 4202496 1844 0 0 0 8 2 0 0 20 0 1 0 654928125 8085504 1801 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134536395 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/25645/statm: 1974 1802 75 177 0 1796 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7896

[startup+0.301644 s]
/proc/loadavg: 12.25 13.80 14.37 2/184 25645
/proc/meminfo: memFree=19040256/36427776 swapFree=4676/7140
[pid=25645] ppid=25643 vsize=15896 CPUtime=0.28
/proc/25645/stat : 25645 (ttsth-5-0) R 25643 25645 15497 0 -1 4202496 3533 0 0 0 26 2 0 0 20 0 1 0 654928125 16277504 3490 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134522738 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/25645/statm: 3974 3490 75 177 0 3796 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15896

[startup+0.701682 s]
/proc/loadavg: 12.25 13.80 14.37 2/184 25645
/proc/meminfo: memFree=19040256/36427776 swapFree=4676/7140
[pid=25645] ppid=25643 vsize=23984 CPUtime=0.7
/proc/25645/stat : 25645 (ttsth-5-0) R 25643 25645 15497 0 -1 4202496 5740 0 0 0 66 4 0 0 20 0 1 0 654928125 24559616 5696 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134516696 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/25645/statm: 5996 5697 76 177 0 5818 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 23984

[startup+1.50173 s]
/proc/loadavg: 12.25 13.80 14.37 2/185 25678
/proc/meminfo: memFree=19009792/36427776 swapFree=4744/37720
[pid=25645] ppid=25643 vsize=71900 CPUtime=1.48
/proc/25645/stat : 25645 (ttsth-5-0) R 25643 25645 15497 0 -1 4202496 8152 0 0 0 144 4 0 0 20 0 1 0 654928125 73625600 7488 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134555272 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/25645/statm: 17975 7488 112 177 0 17797 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 71900

[startup+3.10186 s]
/proc/loadavg: 12.25 13.80 14.37 2/185 25678
/proc/meminfo: memFree=19009400/36427776 swapFree=4752/38380
[pid=25645] ppid=25643 vsize=72448 CPUtime=3.1
/proc/25645/stat : 25645 (ttsth-5-0) R 25643 25645 15497 0 -1 4202496 8253 0 0 0 304 6 0 0 20 0 1 0 654928125 74186752 7589 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134555272 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/25645/statm: 18112 7589 112 177 0 17934 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 72448

[startup+6.30217 s]
/proc/loadavg: 11.35 13.59 14.30 2/185 25678
/proc/meminfo: memFree=19008140/36427776 swapFree=4760/40008
[pid=25645] ppid=25643 vsize=73384 CPUtime=6.3
/proc/25645/stat : 25645 (ttsth-5-0) R 25643 25645 15497 0 -1 4202496 8506 0 0 0 624 6 0 0 20 0 1 0 654928125 75145216 7842 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134600744 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/25645/statm: 18346 7842 112 177 0 18168 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 73384

[startup+12.7087 s]
/proc/loadavg: 10.52 13.38 14.23 17/201 25694
/proc/meminfo: memFree=18551304/36427776 swapFree=4760/498264
[pid=25645] ppid=25643 vsize=612060 CPUtime=56.2
/proc/25645/stat : 25645 (ttsth-5-0) S 25643 25645 15497 0 -1 4202496 124343 0 0 0 2141 3479 0 0 20 0 17 0 654928125 626749440 123336 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25645/statm: 153015 123336 112 177 0 152837 0
[pid=25645/tid=25679] ppid=25643 vsize=612060 CPUtime=3.14
/proc/25645/task/25679/stat : 25679 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 1798 0 0 0 306 8 0 0 20 0 17 0 654929076 626749440 123336 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134561510 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25645/tid=25680] ppid=25643 vsize=612060 CPUtime=3.12
/proc/25645/task/25680/stat : 25680 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 328 0 0 0 66 246 0 0 20 0 17 0 654929076 626749440 123336 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=25645/tid=25681] ppid=25643 vsize=612060 CPUtime=3.1
/proc/25645/task/25681/stat : 25681 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 570 0 0 0 76 234 0 0 20 0 17 0 654929076 626749440 123336 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25645/tid=25682] ppid=25643 vsize=612060 CPUtime=3.12
/proc/25645/task/25682/stat : 25682 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 433 0 0 0 68 244 0 0 20 0 17 0 654929076 626749440 123336 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=25645/tid=25683] ppid=25643 vsize=612060 CPUtime=1.56
/proc/25645/task/25683/stat : 25683 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 326 0 0 0 28 128 0 0 20 0 17 0 654929076 626749440 123336 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25645/tid=25684] ppid=25643 vsize=612060 CPUtime=3.1
/proc/25645/task/25684/stat : 25684 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 332 0 0 0 68 242 0 0 20 0 17 0 654929076 626749440 123336 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25645/tid=25685] ppid=25643 vsize=612060 CPUtime=3.12
/proc/25645/task/25685/stat : 25685 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 311 0 0 0 70 242 0 0 20 0 17 0 654929076 626749440 123336 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134590281 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25645/tid=25686] ppid=25643 vsize=612060 CPUtime=3.1
/proc/25645/task/25686/stat : 25686 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 553 0 0 0 70 240 0 0 20 0 17 0 654929076 626749440 123336 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=25645/tid=25687] ppid=25643 vsize=612060 CPUtime=3.12
/proc/25645/task/25687/stat : 25687 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 456 0 0 0 62 250 0 0 20 0 17 0 654929076 626749440 123336 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25645/tid=25688] ppid=25643 vsize=612060 CPUtime=3.12
/proc/25645/task/25688/stat : 25688 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 282 0 0 0 62 250 0 0 20 0 17 0 654929076 626749440 123336 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25645/tid=25689] ppid=25643 vsize=612060 CPUtime=2.26
/proc/25645/task/25689/stat : 25689 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 251 0 0 0 44 182 0 0 20 0 17 0 654929076 626749440 123336 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25645/tid=25690] ppid=25643 vsize=612060 CPUtime=3.1
/proc/25645/task/25690/stat : 25690 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 610 0 0 0 64 246 0 0 20 0 17 0 654929077 626749440 123336 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=25645/tid=25691] ppid=25643 vsize=612060 CPUtime=3.1
/proc/25645/task/25691/stat : 25691 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 429 0 0 0 66 244 0 0 20 0 17 0 654929077 626749440 123336 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25645/tid=25692] ppid=25643 vsize=612060 CPUtime=2.46
/proc/25645/task/25692/stat : 25692 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 314 0 0 0 46 200 0 0 20 0 17 0 654929077 626749440 123336 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=25645/tid=25693] ppid=25643 vsize=612060 CPUtime=3.06
/proc/25645/task/25693/stat : 25693 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 456 0 0 0 70 236 0 0 20 0 17 0 654929078 626749440 123336 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25645/tid=25694] ppid=25643 vsize=612060 CPUtime=2.98
/proc/25645/task/25694/stat : 25694 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 461 0 0 0 60 238 0 0 20 0 17 0 654929078 626749440 123336 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 56.2
Current children cumulated vsize (KiB) 612060

[startup+25.5048 s]
/proc/loadavg: 11.73 13.50 14.26 17/201 25694
/proc/meminfo: memFree=18447312/36427776 swapFree=4760/601508
[pid=25645] ppid=25643 vsize=711456 CPUtime=220.07
/proc/25645/stat : 25645 (ttsth-5-0) S 25643 25645 15497 0 -1 4202496 150178 0 0 0 10700 11307 0 0 20 0 17 0 654928125 728530944 149171 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25645/statm: 177864 149171 112 177 0 177686 0
[pid=25645/tid=25679] ppid=25643 vsize=711456 CPUtime=15.94
/proc/25645/task/25679/stat : 25679 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 4913 0 0 0 1582 12 0 0 20 0 17 0 654929076 728530944 149172 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134591278 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25645/tid=25680] ppid=25643 vsize=711456 CPUtime=9.66
/proc/25645/task/25680/stat : 25680 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 1820 0 0 0 402 564 0 0 20 0 17 0 654929076 728530944 149172 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=25645/tid=25681] ppid=25643 vsize=711456 CPUtime=14.3
/proc/25645/task/25681/stat : 25681 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 1823 0 0 0 586 844 0 0 20 0 17 0 654929076 728530944 149172 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25645/tid=25682] ppid=25643 vsize=711456 CPUtime=14.18
/proc/25645/task/25682/stat : 25682 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 2219 0 0 0 624 794 0 0 20 0 17 0 654929076 728530944 149172 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=25645/tid=25683] ppid=25643 vsize=711456 CPUtime=10.98
/proc/25645/task/25683/stat : 25683 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 1972 0 0 0 482 616 0 0 20 0 17 0 654929076 728530944 149172 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=25645/tid=25684] ppid=25643 vsize=711456 CPUtime=15.44
/proc/25645/task/25684/stat : 25684 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 3065 0 0 0 754 790 0 0 20 0 17 0 654929076 728530944 149172 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134593484 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25645/tid=25685] ppid=25643 vsize=711456 CPUtime=13.98
/proc/25645/task/25685/stat : 25685 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 2226 0 0 0 572 826 0 0 20 0 17 0 654929076 728530944 149173 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134591147 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25645/tid=25686] ppid=25643 vsize=711456 CPUtime=9.9
/proc/25645/task/25686/stat : 25686 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 1294 0 0 0 362 628 0 0 20 0 17 0 654929076 728530944 149173 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134592184 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=25645/tid=25687] ppid=25643 vsize=711456 CPUtime=15.54
/proc/25645/task/25687/stat : 25687 (ttsth-5-0) S 25643 25645 15497 0 -1 4202560 1972 0 0 0 656 898 0 0 20 0 17 0 654929076 728530944 149173 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=25645/tid=25688] ppid=25643 vsize=711456 CPUtime=14
/proc/25645/task/25688/stat : 25688 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 1775 0 0 0 572 828 0 0 20 0 17 0 654929076 728530944 149173 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25645/tid=25689] ppid=25643 vsize=711456 CPUtime=12.1
/proc/25645/task/25689/stat : 25689 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 1320 0 0 0 514 696 0 0 20 0 17 0 654929076 728530944 149173 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134590368 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25645/tid=25690] ppid=25643 vsize=711456 CPUtime=11.8
/proc/25645/task/25690/stat : 25690 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 1853 0 0 0 476 704 0 0 20 0 17 0 654929077 728530944 149173 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25645/tid=25691] ppid=25643 vsize=711456 CPUtime=15.44
/proc/25645/task/25691/stat : 25691 (ttsth-5-0) S 25643 25645 15497 0 -1 4202560 2127 0 0 0 682 862 0 0 20 0 17 0 654929077 728530944 149173 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=25645/tid=25692] ppid=25643 vsize=711456 CPUtime=10.6
/proc/25645/task/25692/stat : 25692 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 1314 0 0 0 428 632 0 0 20 0 17 0 654929077 728530944 149173 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=25645/tid=25693] ppid=25643 vsize=711456 CPUtime=14.34
/proc/25645/task/25693/stat : 25693 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 2365 0 0 0 630 804 0 0 20 0 17 0 654929078 728530944 149173 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134592217 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25645/tid=25694] ppid=25643 vsize=711456 CPUtime=12.24
/proc/25645/task/25694/stat : 25694 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 1689 0 0 0 462 762 0 0 20 0 17 0 654929078 728530944 149173 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 220.07
Current children cumulated vsize (KiB) 711456

[startup+51.1047 s]
/proc/loadavg: 13.11 13.69 14.30 17/201 25694
/proc/meminfo: memFree=18288812/36427776 swapFree=4760/762016
[pid=25645] ppid=25643 vsize=868228 CPUtime=518.22
/proc/25645/stat : 25645 (ttsth-5-0) S 25643 25645 15497 0 -1 4202496 191074 0 0 0 28360 23462 0 0 20 0 17 0 654928125 889065472 190067 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25645/statm: 217057 190067 112 177 0 216879 0
[pid=25645/tid=25679] ppid=25643 vsize=868228 CPUtime=40.99
/proc/25645/task/25679/stat : 25679 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 9236 0 0 0 4077 22 0 0 20 0 17 0 654929076 889065472 190067 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134591059 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25645/tid=25680] ppid=25643 vsize=868228 CPUtime=25.3
/proc/25645/task/25680/stat : 25680 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 4788 0 0 0 1320 1210 0 0 20 0 17 0 654929076 889065472 190067 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134590777 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25645/tid=25681] ppid=25643 vsize=868228 CPUtime=29.26
/proc/25645/task/25681/stat : 25681 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 3968 0 0 0 1382 1544 0 0 20 0 17 0 654929076 889065472 190067 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25645/tid=25682] ppid=25643 vsize=868228 CPUtime=33.86
/proc/25645/task/25682/stat : 25682 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 5858 0 0 0 1792 1594 0 0 20 0 17 0 654929076 889065472 190067 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=25645/tid=25683] ppid=25643 vsize=868228 CPUtime=30.74
/proc/25645/task/25683/stat : 25683 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 4747 0 0 0 1590 1484 0 0 20 0 17 0 654929076 889065472 190067 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134550038 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25645/tid=25684] ppid=25643 vsize=868228 CPUtime=33.24
/proc/25645/task/25684/stat : 25684 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 5601 0 0 0 1722 1602 0 0 20 0 17 0 654929076 889065472 190067 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25645/tid=25685] ppid=25643 vsize=868228 CPUtime=33.12
/proc/25645/task/25685/stat : 25685 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 4866 0 0 0 1616 1696 0 0 20 0 17 0 654929076 889065472 190067 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25645/tid=25686] ppid=25643 vsize=868228 CPUtime=25.94
/proc/25645/task/25686/stat : 25686 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 3155 0 0 0 1252 1342 0 0 20 0 17 0 654929076 889065472 190067 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=25645/tid=25687] ppid=25643 vsize=868228 CPUtime=33.76
/proc/25645/task/25687/stat : 25687 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 3607 0 0 0 1658 1718 0 0 20 0 17 0 654929076 889065472 190067 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134680729 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=25645/tid=25688] ppid=25643 vsize=868228 CPUtime=33.94
/proc/25645/task/25688/stat : 25688 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 5476 0 0 0 1706 1688 0 0 20 0 17 0 654929076 889065472 190067 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25645/tid=25689] ppid=25643 vsize=868228 CPUtime=35.8
/proc/25645/task/25689/stat : 25689 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 3705 0 0 0 1772 1808 0 0 20 0 17 0 654929076 889065472 190067 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25645/tid=25690] ppid=25643 vsize=868228 CPUtime=28.5
/proc/25645/task/25690/stat : 25690 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 3717 0 0 0 1406 1444 0 0 20 0 17 0 654929077 889065472 190067 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25645/tid=25691] ppid=25643 vsize=868228 CPUtime=37.4
/proc/25645/task/25691/stat : 25691 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 4550 0 0 0 1898 1842 0 0 20 0 17 0 654929077 889065472 190067 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25645/tid=25692] ppid=25643 vsize=868228 CPUtime=25.08
/proc/25645/task/25692/stat : 25692 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 3870 0 0 0 1254 1254 0 0 20 0 17 0 654929077 889065472 190067 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25645/tid=25693] ppid=25643 vsize=868228 CPUtime=33.96
/proc/25645/task/25693/stat : 25693 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 3892 0 0 0 1678 1718 0 0 20 0 17 0 654929078 889065472 190067 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0

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

[pid=25645/tid=25688] ppid=25643 vsize=1240028 CPUtime=67.9
/proc/25645/task/25688/stat : 25688 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 13756 0 0 0 4180 2610 0 0 20 0 17 0 654929076 1269788672 281000 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25645/tid=25689] ppid=25643 vsize=1240028 CPUtime=73.25
/proc/25645/task/25689/stat : 25689 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 8789 0 0 0 4325 3000 0 0 20 0 17 0 654929076 1269788672 281000 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25645/tid=25690] ppid=25643 vsize=1240028 CPUtime=64.32
/proc/25645/task/25690/stat : 25690 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 9620 0 0 0 3926 2506 0 0 20 0 17 0 654929077 1269788672 281000 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=25645/tid=25691] ppid=25643 vsize=1240028 CPUtime=72.94
/proc/25645/task/25691/stat : 25691 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 8973 0 0 0 4220 3074 0 0 20 0 17 0 654929077 1269788672 281000 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=25645/tid=25692] ppid=25643 vsize=1240028 CPUtime=68.79
/proc/25645/task/25692/stat : 25692 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 9330 0 0 0 4139 2740 0 0 20 0 17 0 654929077 1269788672 281000 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25645/tid=25693] ppid=25643 vsize=1240028 CPUtime=65.31
/proc/25645/task/25693/stat : 25693 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 6034 0 0 0 3665 2866 0 0 20 0 17 0 654929078 1269788672 281000 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25645/tid=25694] ppid=25643 vsize=1240028 CPUtime=64.54
/proc/25645/task/25694/stat : 25694 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 11541 0 0 0 4030 2424 0 0 20 0 17 0 654929078 1269788672 281000 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1108.07
Current children cumulated vsize (KiB) 1240028

[startup+162.305 s]
/proc/loadavg: 15.45 14.38 14.48 17/201 25694
/proc/meminfo: memFree=17517488/36427776 swapFree=4760/1530472
[pid=25645] ppid=25643 vsize=1659736 CPUtime=1881.93
/proc/25645/stat : 25645 (ttsth-5-0) S 25643 25645 15497 0 -1 4202496 382890 0 0 0 119468 68725 0 0 20 0 17 0 654928125 1699569664 381883 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25645/statm: 414934 381883 112 177 0 414756 0
[pid=25645/tid=25679] ppid=25643 vsize=1659736 CPUtime=151.66
/proc/25645/task/25679/stat : 25679 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 33504 0 0 0 15096 70 0 0 20 0 17 0 654929076 1699569664 381883 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134680727 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25645/tid=25680] ppid=25643 vsize=1659736 CPUtime=116.57
/proc/25645/task/25680/stat : 25680 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 24260 0 0 0 7641 4016 0 0 20 0 17 0 654929076 1699569664 381883 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25645/tid=25681] ppid=25643 vsize=1659736 CPUtime=105.29
/proc/25645/task/25681/stat : 25681 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 11301 0 0 0 6101 4428 0 0 20 0 17 0 654929076 1699569664 381884 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25645/tid=25682] ppid=25643 vsize=1659736 CPUtime=114.04
/proc/25645/task/25682/stat : 25682 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 13254 0 0 0 6555 4849 0 0 20 0 17 0 654929076 1699569664 381884 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134732535 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25645/tid=25683] ppid=25643 vsize=1659736 CPUtime=126.59
/proc/25645/task/25683/stat : 25683 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 18433 0 0 0 7810 4849 0 0 20 0 17 0 654929076 1699569664 381884 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25645/tid=25684] ppid=25643 vsize=1659736 CPUtime=114.28
/proc/25645/task/25684/stat : 25684 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 15218 0 0 0 7056 4372 0 0 20 0 17 0 654929076 1699569664 381884 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=25645/tid=25685] ppid=25643 vsize=1659736 CPUtime=108.88
/proc/25645/task/25685/stat : 25685 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 9305 0 0 0 5914 4974 0 0 20 0 17 0 654929076 1699569664 381884 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134590298 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25645/tid=25686] ppid=25643 vsize=1659736 CPUtime=100.22
/proc/25645/task/25686/stat : 25686 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 12019 0 0 0 6124 3898 0 0 20 0 17 0 654929076 1699569664 381884 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=25645/tid=25687] ppid=25643 vsize=1659736 CPUtime=110.54
/proc/25645/task/25687/stat : 25687 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 16100 0 0 0 6650 4404 0 0 20 0 17 0 654929076 1699569664 381884 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134591301 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=25645/tid=25688] ppid=25643 vsize=1659736 CPUtime=118.79
/proc/25645/task/25688/stat : 25688 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 20595 0 0 0 7292 4587 0 0 20 0 17 0 654929076 1699569664 381884 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134551008 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25645/tid=25689] ppid=25643 vsize=1659736 CPUtime=119.03
/proc/25645/task/25689/stat : 25689 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 13526 0 0 0 7079 4824 0 0 20 0 17 0 654929076 1699569664 381884 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=25645/tid=25690] ppid=25643 vsize=1659736 CPUtime=117.4
/proc/25645/task/25690/stat : 25690 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 16902 0 0 0 7308 4432 0 0 20 0 17 0 654929077 1699569664 381884 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=25645/tid=25691] ppid=25643 vsize=1659736 CPUtime=122.63
/proc/25645/task/25691/stat : 25691 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 14963 0 0 0 7133 5130 0 0 20 0 17 0 654929077 1699569664 381884 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=25645/tid=25692] ppid=25643 vsize=1659736 CPUtime=111.96
/proc/25645/task/25692/stat : 25692 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 14172 0 0 0 6757 4439 0 0 20 0 17 0 654929077 1699569664 381884 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25645/tid=25693] ppid=25643 vsize=1659736 CPUtime=117.47
/proc/25645/task/25693/stat : 25693 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 11308 0 0 0 6586 5161 0 0 20 0 17 0 654929078 1699569664 381884 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25645/tid=25694] ppid=25643 vsize=1659736 CPUtime=116.97
/proc/25645/task/25694/stat : 25694 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 21598 0 0 0 7450 4247 0 0 20 0 17 0 654929078 1699569664 381884 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1881.93
Current children cumulated vsize (KiB) 1659736

[startup+222.305 s]
/proc/loadavg: 15.72 14.64 14.56 17/201 25694
/proc/meminfo: memFree=17119996/36427776 swapFree=4760/1926848
[pid=25645] ppid=25643 vsize=2067100 CPUtime=2627.82
/proc/25645/stat : 25645 (ttsth-5-0) S 25643 25645 15497 0 -1 4202496 480750 0 0 0 169746 93036 0 0 20 0 17 0 654928125 2116710400 479743 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25645/statm: 516775 479743 112 177 0 516597 0
[pid=25645/tid=25679] ppid=25643 vsize=2067100 CPUtime=211.34
/proc/25645/task/25679/stat : 25679 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 47979 0 0 0 21040 94 0 0 20 0 17 0 654929076 2116710400 479743 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25645/tid=25680] ppid=25643 vsize=2067100 CPUtime=162.12
/proc/25645/task/25680/stat : 25680 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 29477 0 0 0 10537 5675 0 0 20 0 17 0 654929076 2116710400 479743 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25645/tid=25681] ppid=25643 vsize=2067100 CPUtime=157.58
/proc/25645/task/25681/stat : 25681 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 24637 0 0 0 9945 5813 0 0 20 0 17 0 654929076 2116710400 479743 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=25645/tid=25682] ppid=25643 vsize=2067100 CPUtime=152.97
/proc/25645/task/25682/stat : 25682 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 17178 0 0 0 9078 6219 0 0 20 0 17 0 654929076 2116710400 479743 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25645/tid=25683] ppid=25643 vsize=2067100 CPUtime=166.94
/proc/25645/task/25683/stat : 25683 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 21525 0 0 0 10284 6410 0 0 20 0 17 0 654929076 2116710400 479743 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25645/tid=25684] ppid=25643 vsize=2067100 CPUtime=161.29
/proc/25645/task/25684/stat : 25684 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 22200 0 0 0 10371 5758 0 0 20 0 17 0 654929076 2116710400 479743 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25645/tid=25685] ppid=25643 vsize=2067100 CPUtime=151.87
/proc/25645/task/25685/stat : 25685 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 10168 0 0 0 8275 6912 0 0 20 0 17 0 654929076 2116710400 479743 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134591065 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25645/tid=25686] ppid=25643 vsize=2067100 CPUtime=155.42
/proc/25645/task/25686/stat : 25686 (ttsth-5-0) S 25643 25645 15497 0 -1 4202560 20432 0 0 0 9927 5615 0 0 20 0 17 0 654929076 2116710400 479743 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134634454 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=25645/tid=25687] ppid=25643 vsize=2067100 CPUtime=151.98
/proc/25645/task/25687/stat : 25687 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 20459 0 0 0 9365 5833 0 0 20 0 17 0 654929076 2116710400 479743 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25645/tid=25688] ppid=25643 vsize=2067100 CPUtime=162.34
/proc/25645/task/25688/stat : 25688 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 23904 0 0 0 9922 6312 0 0 20 0 17 0 654929076 2116710400 479743 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134588158 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25645/tid=25689] ppid=25643 vsize=2067100 CPUtime=159.71
/proc/25645/task/25689/stat : 25689 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 16272 0 0 0 9464 6507 0 0 20 0 17 0 654929076 2116710400 479743 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134546001 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25645/tid=25690] ppid=25643 vsize=2067100 CPUtime=162.79
/proc/25645/task/25690/stat : 25690 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 25609 0 0 0 10365 5914 0 0 20 0 17 0 654929077 2116710400 479743 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134551684 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25645/tid=25691] ppid=25643 vsize=2067100 CPUtime=168.92
/proc/25645/task/25691/stat : 25691 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 20141 0 0 0 10178 6714 0 0 20 0 17 0 654929077 2116710400 479744 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25645/tid=25692] ppid=25643 vsize=2067100 CPUtime=160.19
/proc/25645/task/25692/stat : 25692 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 18435 0 0 0 9715 6304 0 0 20 0 17 0 654929077 2116710400 479744 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=25645/tid=25693] ppid=25643 vsize=2067100 CPUtime=167.45
/proc/25645/task/25693/stat : 25693 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 17413 0 0 0 9787 6958 0 0 20 0 17 0 654929078 2116710400 479744 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25645/tid=25694] ppid=25643 vsize=2067100 CPUtime=165.27
/proc/25645/task/25694/stat : 25694 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 28488 0 0 0 10576 5951 0 0 20 0 17 0 654929078 2116710400 479744 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134552732 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2627.82
Current children cumulated vsize (KiB) 2067100



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+225.518 s]
/proc/loadavg: 15.74 14.66 14.57 17/201 25694
/proc/meminfo: memFree=17092872/36427776 swapFree=4760/1954176
[pid=25645] ppid=25643 vsize=2096408 CPUtime=2665.93
/proc/25645/stat : 25645 (ttsth-5-0) S 25643 25645 15497 0 -1 4202496 487484 0 0 0 173120 93473 0 0 20 0 17 0 654928125 2146721792 486477 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25645/statm: 524102 486477 112 177 0 523924 0
[pid=25645/tid=25679] ppid=25643 vsize=2096408 CPUtime=214.56
/proc/25645/task/25679/stat : 25679 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 48674 0 0 0 21360 96 0 0 20 0 17 0 654929076 2146721792 486478 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25645/tid=25680] ppid=25643 vsize=2096408 CPUtime=163.77
/proc/25645/task/25680/stat : 25680 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 29542 0 0 0 10675 5702 0 0 20 0 17 0 654929076 2146721792 486478 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25645/tid=25681] ppid=25643 vsize=2096408 CPUtime=160.73
/proc/25645/task/25681/stat : 25681 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 25158 0 0 0 10221 5852 0 0 20 0 17 0 654929076 2146721792 486478 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=25645/tid=25682] ppid=25643 vsize=2096408 CPUtime=156.08
/proc/25645/task/25682/stat : 25682 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 18137 0 0 0 9376 6232 0 0 20 0 17 0 654929076 2146721792 486479 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134680502 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25645/tid=25683] ppid=25643 vsize=2096408 CPUtime=170.07
/proc/25645/task/25683/stat : 25683 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 21824 0 0 0 10558 6449 0 0 20 0 17 0 654929076 2146721792 486479 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25645/tid=25684] ppid=25643 vsize=2096408 CPUtime=164.07
/proc/25645/task/25684/stat : 25684 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 22943 0 0 0 10628 5779 0 0 20 0 17 0 654929076 2146721792 486479 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25645/tid=25685] ppid=25643 vsize=2096408 CPUtime=153.44
/proc/25645/task/25685/stat : 25685 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 10190 0 0 0 8396 6948 0 0 20 0 17 0 654929076 2146721792 486479 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25645/tid=25686] ppid=25643 vsize=2096408 CPUtime=158.6
/proc/25645/task/25686/stat : 25686 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 20892 0 0 0 10208 5652 0 0 20 0 17 0 654929076 2146721792 486479 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=25645/tid=25687] ppid=25643 vsize=2096408 CPUtime=153.6
/proc/25645/task/25687/stat : 25687 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 20731 0 0 0 9508 5852 0 0 20 0 17 0 654929076 2146721792 486480 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25645/tid=25688] ppid=25643 vsize=2096408 CPUtime=163.93
/proc/25645/task/25688/stat : 25688 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 24380 0 0 0 10077 6316 0 0 20 0 17 0 654929076 2146721792 486480 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25645/tid=25689] ppid=25643 vsize=2096408 CPUtime=161.33
/proc/25645/task/25689/stat : 25689 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 16299 0 0 0 9580 6553 0 0 20 0 17 0 654929076 2146721792 486480 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134588749 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25645/tid=25690] ppid=25643 vsize=2096408 CPUtime=164.74
/proc/25645/task/25690/stat : 25690 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 25917 0 0 0 10527 5947 0 0 20 0 17 0 654929077 2146721792 486480 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25645/tid=25691] ppid=25643 vsize=2096408 CPUtime=171.65
/proc/25645/task/25691/stat : 25691 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 20893 0 0 0 10416 6749 0 0 20 0 17 0 654929077 2146721792 486480 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25645/tid=25692] ppid=25643 vsize=2096408 CPUtime=163.34
/proc/25645/task/25692/stat : 25692 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 18972 0 0 0 9989 6345 0 0 20 0 17 0 654929077 2146721792 486480 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=25645/tid=25693] ppid=25643 vsize=2096408 CPUtime=169.43
/proc/25645/task/25693/stat : 25693 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 17684 0 0 0 9956 6987 0 0 20 0 17 0 654929078 2146721792 486480 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25645/tid=25694] ppid=25643 vsize=2096408 CPUtime=166.95
/proc/25645/task/25694/stat : 25694 (ttsth-5-0) R 25643 25645 15497 0 -1 4202560 28817 0 0 0 10727 5968 0 0 20 0 17 0 654929078 2146721792 486480 18446744073709551615 134512640 135237372 4292123680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2665.93
Current children cumulated vsize (KiB) 2096408

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

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

[startup+225.621 s]
/proc/loadavg: 15.74 14.66 14.57 17/201 25694
/proc/meminfo: memFree=17092872/36427776 swapFree=4760/1954176
[pid=25645] ppid=25643 vsize=0 CPUtime=2666.1
/proc/25645/stat : 25645 (ttsth-5-0) Z 25643 25645 15497 0 -1 4203532 487509 0 0 0 173128 93482 0 0 20 0 2 0 654928125 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25645/statm: 0 0 0 0 0 0 0
[pid=25645/tid=25694] ppid=25643 vsize=0 CPUtime=167.02
/proc/25645/task/25694/stat : 25694 (ttsth-5-0) R 25643 25645 15497 0 -1 4203588 28817 0 0 0 10727 5975 0 0 20 0 2 0 654929078 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2666.1
Current children cumulated vsize (KiB) 0

[startup+225.701 s]
/proc/loadavg: 15.74 14.66 14.57 17/201 25694
/proc/meminfo: memFree=17092872/36427776 swapFree=4760/1954176
[pid=25645] ppid=25643 vsize=0 CPUtime=2666.18
/proc/25645/stat : 25645 (ttsth-5-0) Z 25643 25645 15497 0 -1 4203532 487509 0 0 0 173128 93490 0 0 20 0 2 0 654928125 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25645/statm: 0 0 0 0 0 0 0
[pid=25645/tid=25694] ppid=25643 vsize=0 CPUtime=167.1
/proc/25645/task/25694/stat : 25694 (ttsth-5-0) R 25643 25645 15497 0 -1 4203588 28817 0 0 0 10727 5983 0 0 20 0 2 0 654929078 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2666.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 225.719
CPU time (s): 2666.19
CPU user time (s): 1731.28
CPU system time (s): 934.914
CPU usage (%): 1181.2
Max. virtual memory (cumulated for all children) (KiB): 2096408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1731.28
system time used= 934.914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 487509
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= 718394
involuntary context switches= 94310

runsolver used 0.928058 second user time and 3.48822 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 07:10:17
IDJOB=1779810
IDBENCH=70900
IDSOLVER=634
FILE ID=xenhost3-49/1779810-1244956217
PBS_JOBID=
Free space on /tmp= 7021 MiB

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

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

MD5SUM BENCH= d9da53bac6f8ccfc4700d7feca025fc7
RANDOM SEED= 167706516

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:      19040256 kB
Buffers:        484452 kB
Cached:       14120028 kB
SwapCached:          0 kB
Active:        4130440 kB
Inactive:     10481840 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            4188 kB
Writeback:           0 kB
AnonPages:        7140 kB
Mapped:           4012 kB
Slab:           721836 kB
SReclaimable:   694944 kB
SUnreclaim:      26892 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29736 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7020 MiB
End job on xenhost3-49 at 2009-06-14 07:14:05