Trace number 1781505

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) 2873.21 187.031

General information on the benchmark

Namesimon-s02b-k2f-gr-rcs-w8.cnf
MD5SUM5da8899feefc5a4bb9db99e983e30f52
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables10056
Number of clauses271393
Sum of the clauses size550328
Maximum clause length8
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2270136
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51257

Solver Data 

0.20/0.28	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781505-1244989315.cnf 
0.20/0.28	c Using SATTIMEOUT of 10000
0.20/0.28	c Using SATRAM of 2047
0.20/0.28	c Size of subset node = 16
0.20/0.28	c Variables = 10056
0.20/0.28	c Clauses = 271393
0.20/0.28	c Literals = 550328
0.20/0.28	c Reduced size:
0.20/0.28	c Variables = 10056
0.20/0.28	c Clauses = 271392
0.20/0.28	c Literals = 550320
0.20/0.28	c a2
0.50/0.56	c a1
2.58/2.63	c Independent sub-problems = 1
2.58/2.63	c Sub-problem with 10048 variables and 271392 clauses
2.58/2.63	c using permutation method 4
2.58/2.63	c count = 1
2.58/2.63	c Ordering finished 2.560 seconds
2.58/2.63	c mapped 2.620 seconds
2.58/2.63	c permuted 2.620 seconds
2.58/2.63	c about to sort
2.58/2.67	c sorted
4.18/4.26	c clauses now 271392
4.18/4.26	c init finished 2.880 seconds
4.18/4.26	c tree built 4.250 seconds
4.18/4.26	c 
4.18/4.26	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
4.18/4.26	c ---------------------------------|----------------------------------|------------------------------------------------------
4.18/4.26	c ................................ | ..........                       |                        4.2           0.0             
4.18/4.26	c ................................ | ..........                     1 |                        4.2           0.2             
4.18/4.26	c ................................ | ..........                     2 |                        4.2           0.5             
4.18/4.26	c ................................ | ..........                     3 |                        4.2           0.7             
4.18/4.26	c ................................ | ..........                     4 |                        4.2           0.9             
4.18/4.26	c ................................ | ..........                     5 |                        4.2           1.2             
4.18/4.27	c ................................ | ..........                  1000 |                        4.3         232.6             
290.19/22.51	c ................................ | ..........               1571000 | 14714                200.1        7852.6      5533335
564.32/40.09	c ................................ | ..........               2630000 | 28432                400.0        6574.8     12486073
830.60/57.00	c ................................ | ..........               3496000 | 38316                600.1        5826.1     20079999
1078.00/72.83	c ................................ | ..........               4100000 | 44751                800.1        5124.6     29506407
1313.35/87.84	c ................................ | *.........               4577000 | 51257               1000.0        4576.8     38814212
1547.24/102.70	c ................................ | *.........               5129000 | 59900               1200.2        4273.3     48187840
1773.70/117.18	c ................................ | *.........               5664000 | 67508               1400.7        4043.7     57375817
1996.99/131.35	c ................................ | *.........               6122000 | 76049               1600.2        3825.8     66998243
2220.45/145.50	c ................................ | *.........               6659000 | 83126               1800.0        3699.3     76157756
2441.05/159.53	c ................................ | **........               7196000 | 90936               2000.2        3597.6     84647427

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-1781505-1244989315/watcher-1781505-1244989315 -o /tmp/evaluation-result-1781505-1244989315/solver-1781505-1244989315 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781505-1244989315.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: 1.20 1.11 2.35 2/187 32008
/proc/meminfo: memFree=18970048/36427776 swapFree=5500/10180
[pid=32008] ppid=32006 vsize=1672 CPUtime=0
/proc/32008/stat : 32008 (ttsth-5-0) R 32006 32008 15497 0 -1 4202496 301 0 0 0 0 0 0 0 20 0 1 0 658237861 1712128 258 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134732614 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/32008/statm: 418 258 75 177 0 240 0

[startup+0.112545 s]
/proc/loadavg: 1.20 1.11 2.35 2/187 32008
/proc/meminfo: memFree=18970048/36427776 swapFree=5500/10180
[pid=32008] ppid=32006 vsize=9744 CPUtime=0.1
/proc/32008/stat : 32008 (ttsth-5-0) R 32006 32008 15497 0 -1 4202496 2258 0 0 0 8 2 0 0 20 0 1 0 658237861 9977856 2215 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134732614 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/32008/statm: 2436 2217 75 177 0 2258 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9744

[startup+0.200541 s]
/proc/loadavg: 1.20 1.11 2.35 2/187 32008
/proc/meminfo: memFree=18970048/36427776 swapFree=5500/10180
[pid=32008] ppid=32006 vsize=16352 CPUtime=0.2
/proc/32008/stat : 32008 (ttsth-5-0) R 32006 32008 15497 0 -1 4202496 3931 0 0 0 16 4 0 0 20 0 1 0 658237861 16744448 3888 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134732614 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/32008/statm: 4088 3889 75 177 0 3910 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 16352

[startup+0.300587 s]
/proc/loadavg: 1.20 1.11 2.35 2/187 32008
/proc/meminfo: memFree=18970048/36427776 swapFree=5500/10180
[pid=32008] ppid=32006 vsize=19340 CPUtime=0.3
/proc/32008/stat : 32008 (ttsth-5-0) R 32006 32008 15497 0 -1 4202496 4670 0 0 0 26 4 0 0 20 0 1 0 658237861 19804160 4627 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134732614 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/32008/statm: 4835 4629 76 177 0 4657 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 19340

[startup+0.700626 s]
/proc/loadavg: 1.20 1.11 2.35 2/187 32008
/proc/meminfo: memFree=18970048/36427776 swapFree=5500/10180
[pid=32008] ppid=32006 vsize=28200 CPUtime=0.7
/proc/32008/stat : 32008 (ttsth-5-0) R 32006 32008 15497 0 -1 4202496 7461 0 0 0 66 4 0 0 20 0 1 0 658237861 28876800 6885 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134732614 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/32008/statm: 7050 6886 77 177 0 6872 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 28200

[startup+1.50067 s]
/proc/loadavg: 1.20 1.11 2.35 2/188 32009
/proc/meminfo: memFree=18933964/36427776 swapFree=5752/47456
[pid=32008] ppid=32006 vsize=38244 CPUtime=1.5
/proc/32008/stat : 32008 (ttsth-5-0) R 32006 32008 15497 0 -1 4202496 9954 0 0 0 146 4 0 0 20 0 1 0 658237861 39161856 9378 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134555279 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/32008/statm: 9561 9378 77 177 0 9383 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 38244

[startup+3.10081 s]
/proc/loadavg: 1.20 1.11 2.35 2/188 32009
/proc/meminfo: memFree=18933680/36427776 swapFree=5940/48828
[pid=32008] ppid=32006 vsize=139764 CPUtime=3.08
/proc/32008/stat : 32008 (ttsth-5-0) R 32006 32008 15497 0 -1 4202496 35578 0 0 0 296 12 0 0 20 0 1 0 658237861 143118336 34736 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134732614 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/32008/statm: 34941 34736 88 177 0 34763 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 139764

[startup+6.30518 s]
/proc/loadavg: 2.38 1.36 2.42 17/204 32025
/proc/meminfo: memFree=18749976/36427776 swapFree=6476/234796
[pid=32008] ppid=32006 vsize=345264 CPUtime=36.24
/proc/32008/stat : 32008 (ttsth-5-0) S 32006 32008 15497 0 -1 4202496 58362 0 0 0 1611 2013 0 0 20 0 17 0 658237861 353550336 57027 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32008/statm: 86316 57027 95 177 0 86138 0
[pid=32008/tid=32010] ppid=32006 vsize=345264 CPUtime=2.04
/proc/32008/task/32010/stat : 32010 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 837 0 0 0 202 2 0 0 20 0 17 0 658238288 353550336 57027 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32008/tid=32011] ppid=32006 vsize=345264 CPUtime=2
/proc/32008/task/32011/stat : 32011 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 423 0 0 0 64 136 0 0 20 0 17 0 658238288 353550336 57027 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32008/tid=32012] ppid=32006 vsize=345264 CPUtime=2
/proc/32008/task/32012/stat : 32012 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 400 0 0 0 68 132 0 0 20 0 17 0 658238288 353550336 57027 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32008/tid=32013] ppid=32006 vsize=345264 CPUtime=1.98
/proc/32008/task/32013/stat : 32013 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 426 0 0 0 72 126 0 0 20 0 17 0 658238288 353550336 57027 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32008/tid=32014] ppid=32006 vsize=345264 CPUtime=2
/proc/32008/task/32014/stat : 32014 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 382 0 0 0 70 130 0 0 20 0 17 0 658238288 353550336 57027 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134593583 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32008/tid=32015] ppid=32006 vsize=345264 CPUtime=1.98
/proc/32008/task/32015/stat : 32015 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 386 0 0 0 66 132 0 0 20 0 17 0 658238288 353550336 57027 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32008/tid=32016] ppid=32006 vsize=345264 CPUtime=1.98
/proc/32008/task/32016/stat : 32016 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 440 0 0 0 66 132 0 0 20 0 17 0 658238288 353550336 57027 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=32008/tid=32017] ppid=32006 vsize=345264 CPUtime=2
/proc/32008/task/32017/stat : 32017 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 412 0 0 0 68 132 0 0 20 0 17 0 658238288 353550336 57027 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32008/tid=32018] ppid=32006 vsize=345264 CPUtime=2
/proc/32008/task/32018/stat : 32018 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 385 0 0 0 68 132 0 0 20 0 17 0 658238288 353550336 57027 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134590497 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32008/tid=32019] ppid=32006 vsize=345264 CPUtime=2
/proc/32008/task/32019/stat : 32019 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 380 0 0 0 62 138 0 0 20 0 17 0 658238288 353550336 57027 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32008/tid=32020] ppid=32006 vsize=345264 CPUtime=2
/proc/32008/task/32020/stat : 32020 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 366 0 0 0 62 138 0 0 20 0 17 0 658238288 353550336 57027 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32008/tid=32021] ppid=32006 vsize=345264 CPUtime=1.98
/proc/32008/task/32021/stat : 32021 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 392 0 0 0 66 132 0 0 20 0 17 0 658238288 353550336 57027 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32008/tid=32022] ppid=32006 vsize=345264 CPUtime=2
/proc/32008/task/32022/stat : 32022 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 380 0 0 0 68 132 0 0 20 0 17 0 658238288 353550336 57027 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32008/tid=32023] ppid=32006 vsize=345264 CPUtime=1.94
/proc/32008/task/32023/stat : 32023 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 339 0 0 0 64 130 0 0 20 0 17 0 658238288 353550336 57027 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32008/tid=32024] ppid=32006 vsize=345264 CPUtime=1.98
/proc/32008/task/32024/stat : 32024 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 393 0 0 0 68 130 0 0 20 0 17 0 658238288 353550336 57027 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134565862 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32008/tid=32025] ppid=32006 vsize=345264 CPUtime=1.98
/proc/32008/task/32025/stat : 32025 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 393 0 0 0 62 136 0 0 20 0 17 0 658238288 353550336 57027 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 36.24
Current children cumulated vsize (KiB) 345264

[startup+12.7075 s]
/proc/loadavg: 3.47 1.60 2.49 17/204 32025
/proc/meminfo: memFree=18717724/36427776 swapFree=6476/267792
[pid=32008] ppid=32006 vsize=378412 CPUtime=136.64
/proc/32008/stat : 32008 (ttsth-5-0) S 32006 32008 15497 0 -1 4202496 66712 0 0 0 5932 7732 0 0 20 0 17 0 658237861 387493888 65377 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32008/statm: 94603 65377 95 177 0 94425 0
[pid=32008/tid=32010] ppid=32006 vsize=378412 CPUtime=8.42
/proc/32008/task/32010/stat : 32010 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 2281 0 0 0 836 6 0 0 20 0 17 0 658238288 387493888 65377 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32008/tid=32011] ppid=32006 vsize=378412 CPUtime=8.26
/proc/32008/task/32011/stat : 32011 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 900 0 0 0 302 524 0 0 20 0 17 0 658238288 387493888 65378 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32008/tid=32012] ppid=32006 vsize=378412 CPUtime=8.26
/proc/32008/task/32012/stat : 32012 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 1073 0 0 0 320 506 0 0 20 0 17 0 658238288 387493888 65378 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32008/tid=32013] ppid=32006 vsize=378412 CPUtime=8.24
/proc/32008/task/32013/stat : 32013 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 781 0 0 0 330 494 0 0 20 0 17 0 658238288 387493888 65378 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32008/tid=32014] ppid=32006 vsize=378412 CPUtime=8.28
/proc/32008/task/32014/stat : 32014 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 791 0 0 0 316 512 0 0 20 0 17 0 658238288 387493888 65378 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32008/tid=32015] ppid=32006 vsize=378412 CPUtime=8.26
/proc/32008/task/32015/stat : 32015 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 820 0 0 0 298 528 0 0 20 0 17 0 658238288 387493888 65378 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32008/tid=32016] ppid=32006 vsize=378412 CPUtime=8.26
/proc/32008/task/32016/stat : 32016 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 894 0 0 0 310 516 0 0 20 0 17 0 658238288 387493888 65378 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=32008/tid=32017] ppid=32006 vsize=378412 CPUtime=8.28
/proc/32008/task/32017/stat : 32017 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 859 0 0 0 326 502 0 0 20 0 17 0 658238288 387493888 65378 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134590140 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32008/tid=32018] ppid=32006 vsize=378412 CPUtime=8.28
/proc/32008/task/32018/stat : 32018 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 818 0 0 0 308 520 0 0 20 0 17 0 658238288 387493888 65378 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32008/tid=32019] ppid=32006 vsize=378412 CPUtime=8.28
/proc/32008/task/32019/stat : 32019 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 883 0 0 0 308 520 0 0 20 0 17 0 658238288 387493888 65378 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32008/tid=32020] ppid=32006 vsize=378412 CPUtime=8.28
/proc/32008/task/32020/stat : 32020 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 720 0 0 0 314 514 0 0 20 0 17 0 658238288 387493888 65378 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32008/tid=32021] ppid=32006 vsize=378412 CPUtime=8.28
/proc/32008/task/32021/stat : 32021 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 954 0 0 0 320 508 0 0 20 0 17 0 658238288 387493888 65378 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32008/tid=32022] ppid=32006 vsize=378412 CPUtime=8.28
/proc/32008/task/32022/stat : 32022 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 806 0 0 0 312 516 0 0 20 0 17 0 658238288 387493888 65378 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32008/tid=32023] ppid=32006 vsize=378412 CPUtime=8.06
/proc/32008/task/32023/stat : 32023 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 781 0 0 0 296 510 0 0 20 0 17 0 658238288 387493888 65378 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134680212 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32008/tid=32024] ppid=32006 vsize=378412 CPUtime=8.26
/proc/32008/task/32024/stat : 32024 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 876 0 0 0 322 504 0 0 20 0 17 0 658238288 387493888 65378 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32008/tid=32025] ppid=32006 vsize=378412 CPUtime=8.26
/proc/32008/task/32025/stat : 32025 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 847 0 0 0 304 522 0 0 20 0 17 0 658238288 387493888 65378 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 136.64
Current children cumulated vsize (KiB) 378412

[startup+25.5042 s]
/proc/loadavg: 6.25 2.30 2.71 17/204 32025
/proc/meminfo: memFree=18636408/36427776 swapFree=6476/348728
[pid=32008] ppid=32006 vsize=456716 CPUtime=337.15
/proc/32008/stat : 32008 (ttsth-5-0) S 32006 32008 15497 0 -1 4202496 85846 0 0 0 15615 18100 0 0 20 0 17 0 658237861 467677184 84511 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32008/statm: 114179 84511 95 177 0 114001 0
[pid=32008/tid=32010] ppid=32006 vsize=456716 CPUtime=21.22
/proc/32008/task/32010/stat : 32010 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 5281 0 0 0 2110 12 0 0 20 0 17 0 658238288 467677184 84511 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134549943 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32008/tid=32011] ppid=32006 vsize=456716 CPUtime=20.76
/proc/32008/task/32011/stat : 32011 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 1661 0 0 0 864 1212 0 0 20 0 17 0 658238288 467677184 84511 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32008/tid=32012] ppid=32006 vsize=456716 CPUtime=20.78
/proc/32008/task/32012/stat : 32012 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 2513 0 0 0 884 1194 0 0 20 0 17 0 658238288 467677184 84511 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32008/tid=32013] ppid=32006 vsize=456716 CPUtime=20.78
/proc/32008/task/32013/stat : 32013 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 1726 0 0 0 890 1188 0 0 20 0 17 0 658238288 467677184 84511 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32008/tid=32014] ppid=32006 vsize=456716 CPUtime=20.84
/proc/32008/task/32014/stat : 32014 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 1592 0 0 0 870 1214 0 0 20 0 17 0 658238288 467677184 84511 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32008/tid=32015] ppid=32006 vsize=456716 CPUtime=20.82
/proc/32008/task/32015/stat : 32015 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 1656 0 0 0 906 1176 0 0 20 0 17 0 658238288 467677184 84511 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134588438 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32008/tid=32016] ppid=32006 vsize=456716 CPUtime=20.78
/proc/32008/task/32016/stat : 32016 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 1717 0 0 0 868 1210 0 0 20 0 17 0 658238288 467677184 84511 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=32008/tid=32017] ppid=32006 vsize=456716 CPUtime=20.8
/proc/32008/task/32017/stat : 32017 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 2168 0 0 0 902 1178 0 0 20 0 17 0 658238288 467677184 84511 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134591208 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32008/tid=32018] ppid=32006 vsize=456716 CPUtime=20.82
/proc/32008/task/32018/stat : 32018 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 1967 0 0 0 890 1192 0 0 20 0 17 0 658238288 467677184 84511 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32008/tid=32019] ppid=32006 vsize=456716 CPUtime=20.82
/proc/32008/task/32019/stat : 32019 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 2012 0 0 0 842 1240 0 0 20 0 17 0 658238288 467677184 84511 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32008/tid=32020] ppid=32006 vsize=456716 CPUtime=20.84
/proc/32008/task/32020/stat : 32020 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 1758 0 0 0 864 1220 0 0 20 0 17 0 658238288 467677184 84511 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32008/tid=32021] ppid=32006 vsize=456716 CPUtime=20.84
/proc/32008/task/32021/stat : 32021 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 2226 0 0 0 904 1180 0 0 20 0 17 0 658238288 467677184 84511 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134589550 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32008/tid=32022] ppid=32006 vsize=456716 CPUtime=20.86
/proc/32008/task/32022/stat : 32022 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 2320 0 0 0 886 1200 0 0 20 0 17 0 658238288 467677184 84511 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134592184 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32008/tid=32023] ppid=32006 vsize=456716 CPUtime=20.28
/proc/32008/task/32023/stat : 32023 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 1814 0 0 0 810 1218 0 0 20 0 17 0 658238288 467677184 84511 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32008/tid=32024] ppid=32006 vsize=456716 CPUtime=20.76
/proc/32008/task/32024/stat : 32024 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 1757 0 0 0 850 1226 0 0 20 0 17 0 658238288 467677184 84511 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32008/tid=32025] ppid=32006 vsize=456716 CPUtime=20.76
/proc/32008/task/32025/stat : 32025 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 2050 0 0 0 864 1212 0 0 20 0 17 0 658238288 467677184 84511 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134680480 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 337.15
Current children cumulated vsize (KiB) 456716

[startup+51.1043 s]
/proc/loadavg: 9.45 3.37 3.05 17/204 32025
/proc/meminfo: memFree=18459460/36427776 swapFree=6476/526444
[pid=32008] ppid=32006 vsize=645640 CPUtime=738.19

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

[pid=32008/tid=32019] ppid=32006 vsize=645640 CPUtime=45.94
/proc/32008/task/32019/stat : 32019 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 4234 0 0 0 2172 2422 0 0 20 0 17 0 658238288 661135360 130033 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32008/tid=32020] ppid=32006 vsize=645640 CPUtime=45.98
/proc/32008/task/32020/stat : 32020 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 4047 0 0 0 2164 2434 0 0 20 0 17 0 658238288 661135360 130033 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32008/tid=32021] ppid=32006 vsize=645640 CPUtime=45.96
/proc/32008/task/32021/stat : 32021 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 5429 0 0 0 2216 2380 0 0 20 0 17 0 658238288 661135360 130033 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32008/tid=32022] ppid=32006 vsize=645640 CPUtime=46.06
/proc/32008/task/32022/stat : 32022 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 5128 0 0 0 2248 2358 0 0 20 0 17 0 658238288 661135360 130033 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32008/tid=32023] ppid=32006 vsize=645640 CPUtime=44.74
/proc/32008/task/32023/stat : 32023 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 4875 0 0 0 2022 2452 0 0 20 0 17 0 658238288 661135360 130034 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32008/tid=32024] ppid=32006 vsize=645640 CPUtime=45.7
/proc/32008/task/32024/stat : 32024 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 4914 0 0 0 2106 2464 0 0 20 0 17 0 658238288 661135360 130034 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32008/tid=32025] ppid=32006 vsize=645640 CPUtime=45.74
/proc/32008/task/32025/stat : 32025 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 5474 0 0 0 2118 2456 0 0 20 0 17 0 658238288 661135360 130034 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 738.19
Current children cumulated vsize (KiB) 645640

[startup+102.305 s]
/proc/loadavg: 13.06 5.29 3.72 17/204 32025
/proc/meminfo: memFree=17950472/36427776 swapFree=6476/1035888
[pid=32008] ppid=32006 vsize=1172360 CPUtime=1541.11
/proc/32008/stat : 32008 (ttsth-5-0) S 32006 32008 15497 0 -1 4202496 257314 0 0 0 95523 58588 0 0 20 0 17 0 658237861 1200496640 255979 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32008/statm: 293090 255979 95 177 0 292912 0
[pid=32008/tid=32010] ppid=32006 vsize=1172360 CPUtime=98.01
/proc/32008/task/32010/stat : 32010 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 23493 0 0 0 9749 52 0 0 20 0 17 0 658238288 1200496640 255979 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32008/tid=32011] ppid=32006 vsize=1172360 CPUtime=95.68
/proc/32008/task/32011/stat : 32011 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 10554 0 0 0 5575 3993 0 0 20 0 17 0 658238288 1200496640 255979 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134680290 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32008/tid=32012] ppid=32006 vsize=1172360 CPUtime=96.01
/proc/32008/task/32012/stat : 32012 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 13838 0 0 0 5800 3801 0 0 20 0 17 0 658238288 1200496640 255979 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32008/tid=32013] ppid=32006 vsize=1172360 CPUtime=96.04
/proc/32008/task/32013/stat : 32013 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 10111 0 0 0 5720 3884 0 0 20 0 17 0 658238288 1200496640 255980 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32008/tid=32014] ppid=32006 vsize=1172360 CPUtime=96.35
/proc/32008/task/32014/stat : 32014 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 9198 0 0 0 5831 3804 0 0 20 0 17 0 658238288 1200496640 255980 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32008/tid=32015] ppid=32006 vsize=1172360 CPUtime=96.21
/proc/32008/task/32015/stat : 32015 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 11241 0 0 0 5793 3828 0 0 20 0 17 0 658238288 1200496640 255980 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134565869 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32008/tid=32016] ppid=32006 vsize=1172360 CPUtime=95.88
/proc/32008/task/32016/stat : 32016 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 13035 0 0 0 5505 4083 0 0 20 0 17 0 658238288 1200496640 255980 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134590129 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=32008/tid=32017] ppid=32006 vsize=1172360 CPUtime=96.03
/proc/32008/task/32017/stat : 32017 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 14086 0 0 0 5699 3904 0 0 20 0 17 0 658238288 1200496640 255981 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32008/tid=32018] ppid=32006 vsize=1172360 CPUtime=96.36
/proc/32008/task/32018/stat : 32018 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 8798 0 0 0 5916 3720 0 0 20 0 17 0 658238288 1200496640 255981 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32008/tid=32019] ppid=32006 vsize=1172360 CPUtime=96.3
/proc/32008/task/32019/stat : 32019 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 10704 0 0 0 5840 3790 0 0 20 0 17 0 658238288 1200496640 255981 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134591076 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32008/tid=32020] ppid=32006 vsize=1172360 CPUtime=96.23
/proc/32008/task/32020/stat : 32020 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 10305 0 0 0 5634 3989 0 0 20 0 17 0 658238288 1200496640 255982 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32008/tid=32021] ppid=32006 vsize=1172360 CPUtime=96.27
/proc/32008/task/32021/stat : 32021 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 11185 0 0 0 5769 3858 0 0 20 0 17 0 658238288 1200496640 255982 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32008/tid=32022] ppid=32006 vsize=1172360 CPUtime=96.44
/proc/32008/task/32022/stat : 32022 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 14051 0 0 0 5841 3803 0 0 20 0 17 0 658238288 1200496640 255982 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32008/tid=32023] ppid=32006 vsize=1172360 CPUtime=93.7
/proc/32008/task/32023/stat : 32023 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 15754 0 0 0 5419 3951 0 0 20 0 17 0 658238288 1200496640 255982 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134680329 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32008/tid=32024] ppid=32006 vsize=1172360 CPUtime=95.65
/proc/32008/task/32024/stat : 32024 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 13431 0 0 0 5568 3997 0 0 20 0 17 0 658238288 1200496640 255982 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32008/tid=32025] ppid=32006 vsize=1172360 CPUtime=95.63
/proc/32008/task/32025/stat : 32025 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 15905 0 0 0 5454 4109 0 0 20 0 17 0 658238288 1200496640 255983 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.11
Current children cumulated vsize (KiB) 1172360

[startup+162.303 s]
/proc/loadavg: 14.74 7.19 4.47 17/204 32025
/proc/meminfo: memFree=17321720/36427776 swapFree=6476/1662288
[pid=32008] ppid=32006 vsize=1841252 CPUtime=2485.01
/proc/32008/stat : 32008 (ttsth-5-0) S 32006 32008 15497 0 -1 4202496 416184 0 0 0 173938 74563 0 0 20 0 17 0 658237861 1885442048 414849 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32008/statm: 460313 414849 95 177 0 460135 0
[pid=32008/tid=32010] ppid=32006 vsize=1841252 CPUtime=157.98
/proc/32008/task/32010/stat : 32010 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 35449 0 0 0 15720 78 0 0 20 0 17 0 658238288 1885442048 414849 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32008/tid=32011] ppid=32006 vsize=1841252 CPUtime=154.38
/proc/32008/task/32011/stat : 32011 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 19709 0 0 0 10301 5137 0 0 20 0 17 0 658238288 1885442048 414849 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32008/tid=32012] ppid=32006 vsize=1841252 CPUtime=155.05
/proc/32008/task/32012/stat : 32012 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 22760 0 0 0 10702 4803 0 0 20 0 17 0 658238288 1885442048 414849 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32008/tid=32013] ppid=32006 vsize=1841252 CPUtime=154.99
/proc/32008/task/32013/stat : 32013 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 19010 0 0 0 10503 4996 0 0 20 0 17 0 658238288 1885442048 414849 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32008/tid=32014] ppid=32006 vsize=1841252 CPUtime=155.56
/proc/32008/task/32014/stat : 32014 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 15228 0 0 0 10836 4720 0 0 20 0 17 0 658238288 1885442048 414849 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134590281 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32008/tid=32015] ppid=32006 vsize=1841252 CPUtime=155.72
/proc/32008/task/32015/stat : 32015 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 17088 0 0 0 11107 4465 0 0 20 0 17 0 658238288 1885442048 414849 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32008/tid=32016] ppid=32006 vsize=1841252 CPUtime=154.67
/proc/32008/task/32016/stat : 32016 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 26185 0 0 0 10186 5281 0 0 20 0 17 0 658238288 1885442048 414849 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=32008/tid=32017] ppid=32006 vsize=1841252 CPUtime=155.21
/proc/32008/task/32017/stat : 32017 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 26516 0 0 0 10610 4911 0 0 20 0 17 0 658238288 1885442048 414849 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32008/tid=32018] ppid=32006 vsize=1841252 CPUtime=155.47
/proc/32008/task/32018/stat : 32018 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 16632 0 0 0 10767 4780 0 0 20 0 17 0 658238288 1885442048 414849 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32008/tid=32019] ppid=32006 vsize=1841252 CPUtime=155.55
/proc/32008/task/32019/stat : 32019 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 17677 0 0 0 10757 4798 0 0 20 0 17 0 658238288 1885442048 414849 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134680367 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32008/tid=32020] ppid=32006 vsize=1841252 CPUtime=155.28
/proc/32008/task/32020/stat : 32020 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 16822 0 0 0 10337 5191 0 0 20 0 17 0 658238288 1885442048 414849 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32008/tid=32021] ppid=32006 vsize=1841252 CPUtime=155.29
/proc/32008/task/32021/stat : 32021 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 22629 0 0 0 10515 5014 0 0 20 0 17 0 658238288 1885442048 414849 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134591304 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32008/tid=32022] ppid=32006 vsize=1841252 CPUtime=155.54
/proc/32008/task/32022/stat : 32022 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 24056 0 0 0 10624 4930 0 0 20 0 17 0 658238288 1885442048 414849 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32008/tid=32023] ppid=32006 vsize=1841252 CPUtime=151.13
/proc/32008/task/32023/stat : 32023 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 29437 0 0 0 10012 5101 0 0 20 0 17 0 658238288 1885442048 414849 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32008/tid=32024] ppid=32006 vsize=1841252 CPUtime=154.53
/proc/32008/task/32024/stat : 32024 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 27251 0 0 0 10447 5006 0 0 20 0 17 0 658238288 1885442048 414849 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32008/tid=32025] ppid=32006 vsize=1841252 CPUtime=154.28
/proc/32008/task/32025/stat : 32025 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 28107 0 0 0 10100 5328 0 0 20 0 17 0 658238288 1885442048 414849 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2485.01
Current children cumulated vsize (KiB) 1841252



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+186.807 s]
/proc/loadavg: 15.17 7.89 4.77 16/204 32030
/proc/meminfo: memFree=17072708/36427776 swapFree=6476/1912080
[pid=32008] ppid=32006 vsize=2097432 CPUtime=2872.86
/proc/32008/stat : 32008 (ttsth-5-0) S 32006 32008 15497 0 -1 4202496 476648 0 0 0 210441 76845 0 0 20 0 17 0 658237861 2147770368 475313 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32008/statm: 524358 475313 95 177 0 524180 0
[pid=32008/tid=32010] ppid=32006 vsize=2097432 CPUtime=182.49
/proc/32008/task/32010/stat : 32010 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 38673 0 0 0 18163 86 0 0 20 0 17 0 658238288 2147770368 475313 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134590126 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32008/tid=32011] ppid=32006 vsize=2097432 CPUtime=178.5
/proc/32008/task/32011/stat : 32011 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 23478 0 0 0 12537 5313 0 0 20 0 17 0 658238288 2147770368 475313 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32008/tid=32012] ppid=32006 vsize=2097432 CPUtime=179.34
/proc/32008/task/32012/stat : 32012 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 26119 0 0 0 12984 4950 0 0 20 0 17 0 658238288 2147770368 475313 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32008/tid=32013] ppid=32006 vsize=2097432 CPUtime=179.24
/proc/32008/task/32013/stat : 32013 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 22708 0 0 0 12788 5136 0 0 20 0 17 0 658238288 2147770368 475313 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32008/tid=32014] ppid=32006 vsize=2097432 CPUtime=179.87
/proc/32008/task/32014/stat : 32014 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 18198 0 0 0 13132 4855 0 0 20 0 17 0 658238288 2147770368 475313 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32008/tid=32015] ppid=32006 vsize=2097432 CPUtime=180.28
/proc/32008/task/32015/stat : 32015 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 18913 0 0 0 13521 4507 0 0 20 0 17 0 658238288 2147770368 475313 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32008/tid=32016] ppid=32006 vsize=2097432 CPUtime=178.93
/proc/32008/task/32016/stat : 32016 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 31123 0 0 0 12493 5400 0 0 20 0 17 0 658238288 2147770368 475313 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134592435 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=32008/tid=32017] ppid=32006 vsize=2097432 CPUtime=179.43
/proc/32008/task/32017/stat : 32017 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 30794 0 0 0 12869 5074 0 0 20 0 17 0 658238288 2147770368 475313 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32008/tid=32018] ppid=32006 vsize=2097432 CPUtime=179.69
/proc/32008/task/32018/stat : 32018 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 20406 0 0 0 12975 4994 0 0 20 0 17 0 658238288 2147770368 475313 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32008/tid=32019] ppid=32006 vsize=2097432 CPUtime=179.84
/proc/32008/task/32019/stat : 32019 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 20490 0 0 0 13038 4946 0 0 20 0 17 0 658238288 2147770368 475313 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32008/tid=32020] ppid=32006 vsize=2097432 CPUtime=179.53
/proc/32008/task/32020/stat : 32020 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 19183 0 0 0 12595 5358 0 0 20 0 17 0 658238288 2147770368 475313 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134593343 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32008/tid=32021] ppid=32006 vsize=2097432 CPUtime=179.52
/proc/32008/task/32021/stat : 32021 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 26392 0 0 0 12733 5219 0 0 20 0 17 0 658238288 2147770368 475313 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134591065 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32008/tid=32022] ppid=32006 vsize=2097432 CPUtime=179.79
/proc/32008/task/32022/stat : 32022 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 29579 0 0 0 12866 5113 0 0 20 0 17 0 658238288 2147770368 475313 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32008/tid=32023] ppid=32006 vsize=2097432 CPUtime=174.75
/proc/32008/task/32023/stat : 32023 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 34140 0 0 0 12203 5272 0 0 20 0 17 0 658238288 2147770368 475313 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32008/tid=32024] ppid=32006 vsize=2097432 CPUtime=178.68
/proc/32008/task/32024/stat : 32024 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 33580 0 0 0 12675 5193 0 0 20 0 17 0 658238288 2147770368 475313 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32008/tid=32025] ppid=32006 vsize=2097432 CPUtime=178.57
/proc/32008/task/32025/stat : 32025 (ttsth-5-0) R 32006 32008 15497 0 -1 4202560 31244 0 0 0 12452 5405 0 0 20 0 17 0 658238288 2147770368 475313 18446744073709551615 134512640 135237372 4293363024 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2872.86
Current children cumulated vsize (KiB) 2097432

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

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

[startup+186.925 s]
/proc/loadavg: 15.17 7.89 4.77 16/204 32030
/proc/meminfo: memFree=17072708/36427776 swapFree=6476/1912080
[pid=32008] ppid=32006 vsize=0 CPUtime=2873.1
/proc/32008/stat : 32008 (ttsth-5-0) Z 32006 32008 15497 0 -1 4203532 476663 0 0 0 210455 76855 0 0 20 0 2 0 658237861 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32008/statm: 0 0 0 0 0 0 0
[pid=32008/tid=32025] ppid=32006 vsize=0 CPUtime=178.67
/proc/32008/task/32025/stat : 32025 (ttsth-5-0) R 32006 32008 15497 0 -1 4203588 31244 0 0 0 12453 5414 0 0 20 0 2 0 658238288 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2873.1
Current children cumulated vsize (KiB) 0

[startup+187.001 s]
/proc/loadavg: 15.17 7.89 4.77 2/190 32031
/proc/meminfo: memFree=18639904/36427776 swapFree=6476/341988
[pid=32008] ppid=32006 vsize=0 CPUtime=2873.18
/proc/32008/stat : 32008 (ttsth-5-0) Z 32006 32008 15497 0 -1 4203532 476663 0 0 0 210455 76863 0 0 20 0 2 0 658237861 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32008/statm: 0 0 0 0 0 0 0
[pid=32008/tid=32025] ppid=32006 vsize=0 CPUtime=178.75
/proc/32008/task/32025/stat : 32025 (ttsth-5-0) R 32006 32008 15497 0 -1 4203588 31244 0 0 0 12453 5422 0 0 20 0 2 0 658238288 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2873.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 187.031
CPU time (s): 2873.21
CPU user time (s): 2104.56
CPU system time (s): 768.644
CPU usage (%): 1536.22
Max. virtual memory (cumulated for all children) (KiB): 2097432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2104.56
system time used= 768.644
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 476663
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= 369612
involuntary context switches= 6859

runsolver used 0.840052 second user time and 2.92818 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 16:21:55
IDJOB=1781505
IDBENCH=71764
IDSOLVER=634
FILE ID=xenhost3-49/1781505-1244989315
PBS_JOBID=
Free space on /tmp= 7019 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT_RACE06/simon-s02b-k2f-gr-rcs-w8.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1781505-1244989315/watcher-1781505-1244989315 -o /tmp/evaluation-result-1781505-1244989315/solver-1781505-1244989315 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781505-1244989315.cnf

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

MD5SUM BENCH= 5da8899feefc5a4bb9db99e983e30f52
RANDOM SEED= 1049501963

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:      18970048 kB
Buffers:        532756 kB
Cached:       14122372 kB
SwapCached:          0 kB
Active:        4182068 kB
Inactive:     10483916 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            5624 kB
Writeback:           0 kB
AnonPages:       10180 kB
Mapped:           5500 kB
Slab:           737152 kB
SReclaimable:   709928 kB
SUnreclaim:      27224 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    36272 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7018 MiB
End job on xenhost3-49 at 2009-06-14 16:25:04