Trace number 1776915

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)? (TO) 10001 680.653

General information on the benchmark

Namemizh-md5-47-4.cnf
MD5SUMb0a37265834986ac9165bda379d279fd
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark522.09
Satisfiable
(Un)Satisfiability was proved
Number of variables65604
Number of clauses273506
Sum of the clauses size814918
Maximum clause length4
Minimum clause length1
Number of clauses of size 1199
Number of clauses of size 2118244
Number of clauses of size 342021
Number of clauses of size 4113042
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

1.60/1.65	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776915-1244942246.cnf 
1.60/1.65	c Using SATTIMEOUT of 10000
1.60/1.65	c Using SATRAM of 2047
1.60/1.65	c Size of subset node = 16
1.60/1.65	c Variables = 65604
1.60/1.65	c Clauses = 273506
1.60/1.65	c Literals = 814918
1.60/1.65	c Reduced size:
1.60/1.65	c Variables = 65604
1.60/1.65	c Clauses = 233565
1.60/1.65	c Literals = 673193
1.60/1.65	c a2
2.00/2.03	c a1
45.81/45.81	c Independent sub-problems = 1
45.81/45.81	c Sub-problem with 60286 variables and 233565 clauses
45.81/45.81	c using permutation method 4
45.81/45.81	c count = 1
45.81/45.81	c Ordering finished 45.720 seconds
45.81/45.81	c mapped 45.800 seconds
45.81/45.81	c permuted 45.800 seconds
45.81/45.81	c about to sort
45.81/45.86	c sorted
47.79/47.85	c clauses now 233565
47.79/47.85	c init finished 47.000 seconds
47.79/47.85	c tree built 47.810 seconds
47.79/47.85	c 
47.79/47.85	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
47.79/47.85	c ---------------------------------|----------------------------------|------------------------------------------------------
47.79/47.85	c ................................ | ..........                       |                       47.9           0.0             
47.79/47.85	c ................................ | ..........                     1 |                       47.9           0.0             
47.79/47.85	c ................................ | ..........                     2 |                       47.9           0.0             
47.79/47.85	c ................................ | ..........                     3 |                       47.9           0.1             
47.79/47.85	c ................................ | ..........                     4 |                       47.9           0.1             
47.79/47.85	c ................................ | ..........                     5 |                       47.9           0.1             
47.79/47.85	c ................................ | ..........                  1000 |                       48.0          20.8            5
303.79/64.16	c ................................ | ..........               1484000 | 5752                 200.0        7418.9        30682
640.76/85.56	c ................................ | ..........               3248000 | 16507                400.3        8113.9        88361
974.67/106.75	c ................................ | ..........               4917000 | 26281                600.4        8189.9       160493
1308.30/127.93	c ................................ | ..........               6560000 | 35367                800.8        8191.5       247337
1638.67/148.92	c ................................ | *.........               8029000 | 44737               1000.3        8026.5       355193
1967.74/169.89	c ................................ | *.........               9644000 | 55411               1200.0        8036.5       481208
2299.79/191.00	c ................................ | *.........              11200000 | 64343               1400.0        7999.9       625934
2633.15/212.16	c ................................ | *.........              13233000 | 100965              1600.2        8269.4      1286066
2963.75/233.18	c ................................ | *.........              14917000 | 154404              1800.3        8285.9      2367110
3294.10/254.15	c ................................ | **........              16205000 | 211244              2000.0        8102.5      4405667

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-1776915-1244942246/watcher-1776915-1244942246 -o /tmp/evaluation-result-1776915-1244942246/solver-1776915-1244942246 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776915-1244942246.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 15.70 12.09 6.87 2/184 20887
/proc/meminfo: memFree=19048700/36427776 swapFree=3940/8220
[pid=20887] ppid=20885 vsize=1584 CPUtime=0
/proc/20887/stat : 20887 (ttsth-5-0) R 20885 20887 15497 0 -1 4202496 272 0 0 0 0 0 0 0 20 0 1 0 653531028 1622016 229 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134732614 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/20887/statm: 396 229 75 177 0 218 0

[startup+0.078299 s]
/proc/loadavg: 15.70 12.09 6.87 2/184 20887
/proc/meminfo: memFree=19048700/36427776 swapFree=3940/8220
[pid=20887] ppid=20885 vsize=5700 CPUtime=0.06
/proc/20887/stat : 20887 (ttsth-5-0) R 20885 20887 15497 0 -1 4202496 1314 0 0 0 6 0 0 0 20 0 1 0 653531028 5836800 1271 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134639534 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/20887/statm: 1425 1272 75 177 0 1247 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5700

[startup+0.102313 s]
/proc/loadavg: 15.70 12.09 6.87 2/184 20887
/proc/meminfo: memFree=19048700/36427776 swapFree=3940/8220
[pid=20887] ppid=20885 vsize=7332 CPUtime=0.1
/proc/20887/stat : 20887 (ttsth-5-0) R 20885 20887 15497 0 -1 4202496 1674 0 0 0 8 2 0 0 20 0 1 0 653531028 7507968 1631 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134732614 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/20887/statm: 1833 1632 75 177 0 1655 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7332

[startup+0.302334 s]
/proc/loadavg: 15.70 12.09 6.87 2/184 20887
/proc/meminfo: memFree=19048700/36427776 swapFree=3940/8220
[pid=20887] ppid=20885 vsize=21428 CPUtime=0.3
/proc/20887/stat : 20887 (ttsth-5-0) R 20885 20887 15497 0 -1 4202496 4846 0 0 0 26 4 0 0 20 0 1 0 653531028 21942272 4803 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134533782 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/20887/statm: 5357 4803 75 177 0 5179 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 21428

[startup+0.702361 s]
/proc/loadavg: 15.70 12.09 6.87 2/184 20887
/proc/meminfo: memFree=19048700/36427776 swapFree=3940/8220
[pid=20887] ppid=20885 vsize=21428 CPUtime=0.7
/proc/20887/stat : 20887 (ttsth-5-0) R 20885 20887 15497 0 -1 4202496 5102 0 0 0 66 4 0 0 20 0 1 0 653531028 21942272 5059 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134534331 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/20887/statm: 5357 5059 75 177 0 5179 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 21428

[startup+1.50242 s]
/proc/loadavg: 15.70 12.09 6.87 2/185 20888
/proc/meminfo: memFree=19027528/36427776 swapFree=4512/28792
[pid=20887] ppid=20885 vsize=21428 CPUtime=1.5
/proc/20887/stat : 20887 (ttsth-5-0) R 20885 20887 15497 0 -1 4202496 5102 0 0 0 146 4 0 0 20 0 1 0 653531028 21942272 5059 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134534088 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/20887/statm: 5357 5059 75 177 0 5179 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 21428

[startup+3.10257 s]
/proc/loadavg: 14.52 11.91 6.83 2/185 20888
/proc/meminfo: memFree=19004956/36427776 swapFree=4532/51240
[pid=20887] ppid=20885 vsize=46460 CPUtime=3.1
/proc/20887/stat : 20887 (ttsth-5-0) R 20885 20887 15497 0 -1 4202496 12117 0 0 0 304 6 0 0 20 0 1 0 653531028 47575040 11263 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134600960 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/20887/statm: 11615 11263 77 177 0 11437 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 46460

[startup+6.3028 s]
/proc/loadavg: 14.52 11.91 6.83 2/185 20888
/proc/meminfo: memFree=19001568/36427776 swapFree=4620/54628
[pid=20887] ppid=20885 vsize=47364 CPUtime=6.28
/proc/20887/stat : 20887 (ttsth-5-0) R 20885 20887 15497 0 -1 4202496 12354 0 0 0 622 6 0 0 20 0 1 0 653531028 48500736 11500 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134555272 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/20887/statm: 11841 11500 77 177 0 11663 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 47364

[startup+12.7033 s]
/proc/loadavg: 12.44 11.55 6.77 2/185 20888
/proc/meminfo: memFree=19000236/36427776 swapFree=4620/56196
[pid=20887] ppid=20885 vsize=48344 CPUtime=12.7
/proc/20887/stat : 20887 (ttsth-5-0) R 20885 20887 15497 0 -1 4202496 12559 0 0 0 1262 8 0 0 20 0 1 0 653531028 49504256 11705 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134600718 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/20887/statm: 12086 11705 77 177 0 11908 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 48344

[startup+25.5044 s]
/proc/loadavg: 10.68 11.20 6.71 2/185 20888
/proc/meminfo: memFree=19000500/36427776 swapFree=4620/55964
[pid=20887] ppid=20885 vsize=48476 CPUtime=25.5
/proc/20887/stat : 20887 (ttsth-5-0) R 20885 20887 15497 0 -1 4202496 12568 0 0 0 2542 8 0 0 20 0 1 0 653531028 49639424 11714 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134600704 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/20887/statm: 12119 11714 77 177 0 11941 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 48476

[startup+51.1068 s]
/proc/loadavg: 7.38 10.38 6.56 17/201 20904
/proc/meminfo: memFree=18305476/36427776 swapFree=4692/752188
[pid=20887] ppid=20885 vsize=859372 CPUtime=99.3
/proc/20887/stat : 20887 (ttsth-5-0) S 20885 20887 15497 0 -1 4202496 187393 0 0 0 5845 4085 0 0 20 0 17 0 653531028 879996928 185723 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20887/statm: 214843 185723 95 177 0 214665 0
[pid=20887/tid=20889] ppid=20885 vsize=859372 CPUtime=3.26
/proc/20887/task/20889/stat : 20889 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 356 0 0 0 324 2 0 0 20 0 17 0 653535810 879996928 185723 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134587033 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20887/tid=20890] ppid=20885 vsize=859372 CPUtime=3.2
/proc/20887/task/20890/stat : 20890 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 355 0 0 0 46 274 0 0 20 0 17 0 653535810 879996928 185723 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20887/tid=20891] ppid=20885 vsize=859372 CPUtime=3.2
/proc/20887/task/20891/stat : 20891 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 353 0 0 0 52 268 0 0 20 0 17 0 653535810 879996928 185723 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20887/tid=20892] ppid=20885 vsize=859372 CPUtime=3.2
/proc/20887/task/20892/stat : 20892 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 352 0 0 0 58 262 0 0 20 0 17 0 653535810 879996928 185723 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=20887/tid=20893] ppid=20885 vsize=859372 CPUtime=3.2
/proc/20887/task/20893/stat : 20893 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 353 0 0 0 54 266 0 0 20 0 17 0 653535811 879996928 185723 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20887/tid=20894] ppid=20885 vsize=859372 CPUtime=3.2
/proc/20887/task/20894/stat : 20894 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 354 0 0 0 52 268 0 0 20 0 17 0 653535811 879996928 185723 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20887/tid=20895] ppid=20885 vsize=859372 CPUtime=3.22
/proc/20887/task/20895/stat : 20895 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 352 0 0 0 56 266 0 0 20 0 17 0 653535811 879996928 185723 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20887/tid=20896] ppid=20885 vsize=859372 CPUtime=3.22
/proc/20887/task/20896/stat : 20896 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 352 0 0 0 56 266 0 0 20 0 17 0 653535811 879996928 185723 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20887/tid=20897] ppid=20885 vsize=859372 CPUtime=3.22
/proc/20887/task/20897/stat : 20897 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 351 0 0 0 48 274 0 0 20 0 17 0 653535811 879996928 185723 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20887/tid=20898] ppid=20885 vsize=859372 CPUtime=3.22
/proc/20887/task/20898/stat : 20898 (ttsth-5-0) S 20885 20887 15497 0 -1 4202560 352 0 0 0 52 270 0 0 20 0 17 0 653535811 879996928 185723 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=20887/tid=20899] ppid=20885 vsize=859372 CPUtime=3.2
/proc/20887/task/20899/stat : 20899 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 354 0 0 0 44 276 0 0 20 0 17 0 653535811 879996928 185723 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20887/tid=20900] ppid=20885 vsize=859372 CPUtime=3.2
/proc/20887/task/20900/stat : 20900 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 352 0 0 0 58 262 0 0 20 0 17 0 653535811 879996928 185723 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20887/tid=20901] ppid=20885 vsize=859372 CPUtime=3.22
/proc/20887/task/20901/stat : 20901 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 352 0 0 0 52 270 0 0 20 0 17 0 653535811 879996928 185723 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20887/tid=20902] ppid=20885 vsize=859372 CPUtime=3.14
/proc/20887/task/20902/stat : 20902 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 352 0 0 0 54 260 0 0 20 0 17 0 653535812 879996928 185723 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20887/tid=20903] ppid=20885 vsize=859372 CPUtime=3.22
/proc/20887/task/20903/stat : 20903 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 350 0 0 0 56 266 0 0 20 0 17 0 653535812 879996928 185723 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20887/tid=20904] ppid=20885 vsize=859372 CPUtime=3.2
/proc/20887/task/20904/stat : 20904 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 356 0 0 0 52 268 0 0 20 0 17 0 653535812 879996928 185723 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 99.3
Current children cumulated vsize (KiB) 859372

[startup+102.319 s]
/proc/loadavg: 12.56 11.32 7.10 17/201 20904
/proc/meminfo: memFree=18278816/36427776 swapFree=4692/778376
[pid=20887] ppid=20885 vsize=883956 CPUtime=905.46
/proc/20887/stat : 20887 (ttsth-5-0) S 20885 20887 15497 0 -1 4202496 193812 0 0 0 26970 63576 0 0 20 0 17 0 653531028 905170944 192142 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20887/statm: 220989 192142 95 177 0 220811 0
[pid=20887/tid=20889] ppid=20885 vsize=883956 CPUtime=54.44
/proc/20887/task/20889/stat : 20889 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 928 0 0 0 5434 10 0 0 20 0 17 0 653535810 905170944 192142 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134590146 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20887/tid=20890] ppid=20885 vsize=883956 CPUtime=53.63
/proc/20887/task/20890/stat : 20890 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 722 0 0 0 1110 4253 0 0 20 0 17 0 653535810 905170944 192142 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20887/tid=20891] ppid=20885 vsize=883956 CPUtime=53.6
/proc/20887/task/20891/stat : 20891 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 720 0 0 0 1152 4208 0 0 20 0 17 0 653535810 905170944 192142 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20887/tid=20892] ppid=20885 vsize=883956 CPUtime=53.57
/proc/20887/task/20892/stat : 20892 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 724 0 0 0 1130 4227 0 0 20 0 17 0 653535810 905170944 192142 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=20887/tid=20893] ppid=20885 vsize=883956 CPUtime=53.58
/proc/20887/task/20893/stat : 20893 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 723 0 0 0 1138 4220 0 0 20 0 17 0 653535811 905170944 192142 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20887/tid=20894] ppid=20885 vsize=883956 CPUtime=53.6
/proc/20887/task/20894/stat : 20894 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 726 0 0 0 1234 4126 0 0 20 0 17 0 653535811 905170944 192142 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20887/tid=20895] ppid=20885 vsize=883956 CPUtime=53.68
/proc/20887/task/20895/stat : 20895 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 730 0 0 0 1154 4214 0 0 20 0 17 0 653535811 905170944 192142 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20887/tid=20896] ppid=20885 vsize=883956 CPUtime=53.66
/proc/20887/task/20896/stat : 20896 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 725 0 0 0 1116 4250 0 0 20 0 17 0 653535811 905170944 192142 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20887/tid=20897] ppid=20885 vsize=883956 CPUtime=53.68
/proc/20887/task/20897/stat : 20897 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 720 0 0 0 1128 4240 0 0 20 0 17 0 653535811 905170944 192142 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20887/tid=20898] ppid=20885 vsize=883956 CPUtime=53.58
/proc/20887/task/20898/stat : 20898 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 715 0 0 0 1112 4246 0 0 20 0 17 0 653535811 905170944 192142 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=20887/tid=20899] ppid=20885 vsize=883956 CPUtime=53.62
/proc/20887/task/20899/stat : 20899 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 732 0 0 0 1086 4276 0 0 20 0 17 0 653535811 905170944 192142 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20887/tid=20900] ppid=20885 vsize=883956 CPUtime=53.61
/proc/20887/task/20900/stat : 20900 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 714 0 0 0 1052 4309 0 0 20 0 17 0 653535811 905170944 192142 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20887/tid=20901] ppid=20885 vsize=883956 CPUtime=53.57
/proc/20887/task/20901/stat : 20901 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1038 0 0 0 1112 4245 0 0 20 0 17 0 653535811 905170944 192142 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20887/tid=20902] ppid=20885 vsize=883956 CPUtime=52.48
/proc/20887/task/20902/stat : 20902 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 719 0 0 0 1096 4152 0 0 20 0 17 0 653535812 905170944 192142 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20887/tid=20903] ppid=20885 vsize=883956 CPUtime=53.63
/proc/20887/task/20903/stat : 20903 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 714 0 0 0 1122 4241 0 0 20 0 17 0 653535812 905170944 192142 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20887/tid=20904] ppid=20885 vsize=883956 CPUtime=53.61
/proc/20887/task/20904/stat : 20904 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 715 0 0 0 1064 4297 0 0 20 0 17 0 653535812 905170944 192142 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 905.46
Current children cumulated vsize (KiB) 883956

[startup+162.305 s]
/proc/loadavg: 14.55 12.09 7.60 17/201 20909
/proc/meminfo: memFree=18270632/36427776 swapFree=4692/786024
[pid=20887] ppid=20885 vsize=891464 CPUtime=1849.58
/proc/20887/stat : 20887 (ttsth-5-0) S 20885 20887 15497 0 -1 4202496 195659 0 0 0 53411 131547 0 0 20 0 17 0 653531028 912859136 193989 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20887/statm: 222866 193989 95 177 0 222688 0
[pid=20887/tid=20889] ppid=20885 vsize=891464 CPUtime=114.42
/proc/20887/task/20889/stat : 20889 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1768 0 0 0 11426 16 0 0 20 0 17 0 653535810 912859136 193989 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134551002 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20887/tid=20890] ppid=20885 vsize=891464 CPUtime=112.63
/proc/20887/task/20890/stat : 20890 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 752 0 0 0 2526 8737 0 0 20 0 17 0 653535810 912859136 193989 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20887/tid=20891] ppid=20885 vsize=891464 CPUtime=112.63
/proc/20887/task/20891/stat : 20891 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 769 0 0 0 2556 8707 0 0 20 0 17 0 653535810 912859136 193989 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134592714 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20887/tid=20892] ppid=20885 vsize=891464 CPUtime=112.6
/proc/20887/task/20892/stat : 20892 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 770 0 0 0 2584 8676 0 0 20 0 17 0 653535810 912859136 193989 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134590497 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=20887/tid=20893] ppid=20885 vsize=891464 CPUtime=112.58
/proc/20887/task/20893/stat : 20893 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 774 0 0 0 2484 8774 0 0 20 0 17 0 653535811 912859136 193989 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20887/tid=20894] ppid=20885 vsize=891464 CPUtime=112.65
/proc/20887/task/20894/stat : 20894 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 777 0 0 0 2660 8605 0 0 20 0 17 0 653535811 912859136 193989 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0

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

/proc/20887/task/20892/stat : 20892 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1711 0 0 0 11849 34824 0 0 20 0 17 0 653535810 1162563584 253646 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=20887/tid=20893] ppid=20885 vsize=1135316 CPUtime=466.31
/proc/20887/task/20893/stat : 20893 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1741 0 0 0 11349 35282 0 0 20 0 17 0 653535811 1162563584 253646 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=20887/tid=20894] ppid=20885 vsize=1135316 CPUtime=466.79
/proc/20887/task/20894/stat : 20894 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 3090 0 0 0 11961 34718 0 0 20 0 17 0 653535811 1162563584 253646 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20887/tid=20895] ppid=20885 vsize=1135316 CPUtime=466.89
/proc/20887/task/20895/stat : 20895 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1642 0 0 0 11567 35122 0 0 20 0 17 0 653535811 1162563584 253646 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20887/tid=20896] ppid=20885 vsize=1135316 CPUtime=467.2
/proc/20887/task/20896/stat : 20896 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1816 0 0 0 11546 35174 0 0 20 0 17 0 653535811 1162563584 253646 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20887/tid=20897] ppid=20885 vsize=1135316 CPUtime=467.29
/proc/20887/task/20897/stat : 20897 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1964 0 0 0 10978 35751 0 0 20 0 17 0 653535811 1162563584 253646 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20887/tid=20898] ppid=20885 vsize=1135316 CPUtime=466
/proc/20887/task/20898/stat : 20898 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 3029 0 0 0 10442 36158 0 0 20 0 17 0 653535811 1162563584 253646 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20887/tid=20899] ppid=20885 vsize=1135316 CPUtime=466.44
/proc/20887/task/20899/stat : 20899 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1562 0 0 0 11071 35573 0 0 20 0 17 0 653535811 1162563584 253646 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20887/tid=20900] ppid=20885 vsize=1135316 CPUtime=466.46
/proc/20887/task/20900/stat : 20900 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1648 0 0 0 10973 35673 0 0 20 0 17 0 653535811 1162563584 253646 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20887/tid=20901] ppid=20885 vsize=1135316 CPUtime=466.49
/proc/20887/task/20901/stat : 20901 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1647 0 0 0 11459 35190 0 0 20 0 17 0 653535811 1162563584 253646 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20887/tid=20902] ppid=20885 vsize=1135316 CPUtime=456.81
/proc/20887/task/20902/stat : 20902 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1569 0 0 0 11417 34264 0 0 20 0 17 0 653535812 1162563584 253646 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20887/tid=20903] ppid=20885 vsize=1135316 CPUtime=466.66
/proc/20887/task/20903/stat : 20903 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1954 0 0 0 11236 35430 0 0 20 0 17 0 653535812 1162563584 253646 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20887/tid=20904] ppid=20885 vsize=1135316 CPUtime=466.77
/proc/20887/task/20904/stat : 20904 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1733 0 0 0 11408 35269 0 0 20 0 17 0 653535812 1162563584 253646 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7512.52
Current children cumulated vsize (KiB) 1135316

[startup+582.305 s]
/proc/loadavg: 15.95 14.98 10.62 17/201 20914
/proc/meminfo: memFree=17960188/36427776 swapFree=4692/1096896
[pid=20887] ppid=20885 vsize=1210116 CPUtime=8456.21
/proc/20887/stat : 20887 (ttsth-5-0) S 20885 20887 15497 0 -1 4202496 273908 0 0 0 251204 594417 0 0 20 0 17 0 653531028 1239158784 272238 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20887/statm: 302529 272238 95 177 0 302351 0
[pid=20887/tid=20889] ppid=20885 vsize=1210116 CPUtime=534.39
/proc/20887/task/20889/stat : 20889 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 55511 0 0 0 53321 118 0 0 20 0 17 0 653535810 1239158784 272238 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20887/tid=20890] ppid=20885 vsize=1210116 CPUtime=525.68
/proc/20887/task/20890/stat : 20890 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1840 0 0 0 13423 39145 0 0 20 0 17 0 653535810 1239158784 272238 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20887/tid=20891] ppid=20885 vsize=1210116 CPUtime=525.74
/proc/20887/task/20891/stat : 20891 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 4024 0 0 0 13001 39573 0 0 20 0 17 0 653535810 1239158784 272238 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20887/tid=20892] ppid=20885 vsize=1210116 CPUtime=525.72
/proc/20887/task/20892/stat : 20892 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1883 0 0 0 13570 39002 0 0 20 0 17 0 653535810 1239158784 272238 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=20887/tid=20893] ppid=20885 vsize=1210116 CPUtime=525.15
/proc/20887/task/20893/stat : 20893 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 2315 0 0 0 12678 39837 0 0 20 0 17 0 653535811 1239158784 272238 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=20887/tid=20894] ppid=20885 vsize=1210116 CPUtime=525.85
/proc/20887/task/20894/stat : 20894 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 4493 0 0 0 13309 39276 0 0 20 0 17 0 653535811 1239158784 272238 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20887/tid=20895] ppid=20885 vsize=1210116 CPUtime=525.92
/proc/20887/task/20895/stat : 20895 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1774 0 0 0 13110 39482 0 0 20 0 17 0 653535811 1239158784 272238 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20887/tid=20896] ppid=20885 vsize=1210116 CPUtime=526.25
/proc/20887/task/20896/stat : 20896 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 2007 0 0 0 12960 39665 0 0 20 0 17 0 653535811 1239158784 272238 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20887/tid=20897] ppid=20885 vsize=1210116 CPUtime=526.34
/proc/20887/task/20897/stat : 20897 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 2060 0 0 0 12458 40176 0 0 20 0 17 0 653535811 1239158784 272238 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20887/tid=20898] ppid=20885 vsize=1210116 CPUtime=525.02
/proc/20887/task/20898/stat : 20898 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 4010 0 0 0 11883 40619 0 0 20 0 17 0 653535811 1239158784 272239 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20887/tid=20899] ppid=20885 vsize=1210116 CPUtime=525.42
/proc/20887/task/20899/stat : 20899 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1703 0 0 0 12767 39775 0 0 20 0 17 0 653535811 1239158784 272239 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20887/tid=20900] ppid=20885 vsize=1210116 CPUtime=525.37
/proc/20887/task/20900/stat : 20900 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1796 0 0 0 12414 40123 0 0 20 0 17 0 653535811 1239158784 272239 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20887/tid=20901] ppid=20885 vsize=1210116 CPUtime=525.47
/proc/20887/task/20901/stat : 20901 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1875 0 0 0 13050 39497 0 0 20 0 17 0 653535811 1239158784 272239 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134590494 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20887/tid=20902] ppid=20885 vsize=1210116 CPUtime=514.56
/proc/20887/task/20902/stat : 20902 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1794 0 0 0 12989 38467 0 0 20 0 17 0 653535812 1239158784 272239 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20887/tid=20903] ppid=20885 vsize=1210116 CPUtime=525.66
/proc/20887/task/20903/stat : 20903 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 3161 0 0 0 12598 39968 0 0 20 0 17 0 653535812 1239158784 272239 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20887/tid=20904] ppid=20885 vsize=1210116 CPUtime=525.68
/proc/20887/task/20904/stat : 20904 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1915 0 0 0 12939 39629 0 0 20 0 17 0 653535812 1239158784 272239 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134728873 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8456.21
Current children cumulated vsize (KiB) 1210116

[startup+642.302 s]
/proc/loadavg: 15.90 15.16 10.97 17/201 20914
/proc/meminfo: memFree=17876560/36427776 swapFree=4692/1179992
[pid=20887] ppid=20885 vsize=1295032 CPUtime=9399.84
/proc/20887/stat : 20887 (ttsth-5-0) S 20885 20887 15497 0 -1 4202496 294269 0 0 0 280354 659630 0 0 20 0 17 0 653531028 1326112768 292599 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20887/statm: 323758 292599 95 177 0 323580 0
[pid=20887/tid=20889] ppid=20885 vsize=1295032 CPUtime=594.39
/proc/20887/task/20889/stat : 20889 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 67202 0 0 0 59297 142 0 0 20 0 17 0 653535810 1326112768 292599 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20887/tid=20890] ppid=20885 vsize=1295032 CPUtime=584.64
/proc/20887/task/20890/stat : 20890 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 2063 0 0 0 15145 43319 0 0 20 0 17 0 653535810 1326112768 292599 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20887/tid=20891] ppid=20885 vsize=1295032 CPUtime=584.85
/proc/20887/task/20891/stat : 20891 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 5286 0 0 0 14695 43790 0 0 20 0 17 0 653535810 1326112768 292600 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20887/tid=20892] ppid=20885 vsize=1295032 CPUtime=584.62
/proc/20887/task/20892/stat : 20892 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 2015 0 0 0 15080 43382 0 0 20 0 17 0 653535810 1326112768 292600 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=20887/tid=20893] ppid=20885 vsize=1295032 CPUtime=584.12
/proc/20887/task/20893/stat : 20893 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 3284 0 0 0 14037 44375 0 0 20 0 17 0 653535811 1326112768 292600 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=20887/tid=20894] ppid=20885 vsize=1295032 CPUtime=584.87
/proc/20887/task/20894/stat : 20894 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 5577 0 0 0 14762 43725 0 0 20 0 17 0 653535811 1326112768 292600 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20887/tid=20895] ppid=20885 vsize=1295032 CPUtime=584.96
/proc/20887/task/20895/stat : 20895 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1967 0 0 0 14884 43612 0 0 20 0 17 0 653535811 1326112768 292600 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20887/tid=20896] ppid=20885 vsize=1295032 CPUtime=585.31
/proc/20887/task/20896/stat : 20896 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 3359 0 0 0 14368 44163 0 0 20 0 17 0 653535811 1326112768 292600 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20887/tid=20897] ppid=20885 vsize=1295032 CPUtime=585.35
/proc/20887/task/20897/stat : 20897 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 2166 0 0 0 13985 44550 0 0 20 0 17 0 653535811 1326112768 292600 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20887/tid=20898] ppid=20885 vsize=1295032 CPUtime=584.11
/proc/20887/task/20898/stat : 20898 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 4936 0 0 0 13458 44953 0 0 20 0 17 0 653535811 1326112768 292600 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20887/tid=20899] ppid=20885 vsize=1295032 CPUtime=584.38
/proc/20887/task/20899/stat : 20899 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1839 0 0 0 14382 44056 0 0 20 0 17 0 653535811 1326112768 292600 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20887/tid=20900] ppid=20885 vsize=1295032 CPUtime=584.24
/proc/20887/task/20900/stat : 20900 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1979 0 0 0 13824 44600 0 0 20 0 17 0 653535811 1326112768 292600 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20887/tid=20901] ppid=20885 vsize=1295032 CPUtime=584.39
/proc/20887/task/20901/stat : 20901 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1955 0 0 0 14530 43909 0 0 20 0 17 0 653535811 1326112768 292600 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20887/tid=20902] ppid=20885 vsize=1295032 CPUtime=572.23
/proc/20887/task/20902/stat : 20902 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 2032 0 0 0 14644 42579 0 0 20 0 17 0 653535812 1326112768 292600 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134680336 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20887/tid=20903] ppid=20885 vsize=1295032 CPUtime=584.69
/proc/20887/task/20903/stat : 20903 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 4825 0 0 0 14041 44428 0 0 20 0 17 0 653535812 1326112768 292600 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20887/tid=20904] ppid=20885 vsize=1295032 CPUtime=584.64
/proc/20887/task/20904/stat : 20904 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 2037 0 0 0 14486 43978 0 0 20 0 17 0 653535812 1326112768 292600 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 9399.84
Current children cumulated vsize (KiB) 1295032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+680.508 s]
/proc/loadavg: 15.87 15.24 11.15 18/201 20914
/proc/meminfo: memFree=17812432/36427776 swapFree=4692/1244448
[pid=20887] ppid=20885 vsize=1363608 CPUtime=10000.7
/proc/20887/stat : 20887 (ttsth-5-0) S 20885 20887 15497 0 -1 4202496 310373 0 0 0 299025 701040 0 0 20 0 17 0 653531028 1396334592 308703 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20887/statm: 340902 308703 95 177 0 340724 0
[pid=20887/tid=20889] ppid=20885 vsize=1363608 CPUtime=632.6
/proc/20887/task/20889/stat : 20889 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 77801 0 0 0 63104 156 0 0 20 0 17 0 653535810 1396334592 308703 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134550989 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20887/tid=20890] ppid=20885 vsize=1363608 CPUtime=622.17
/proc/20887/task/20890/stat : 20890 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 2158 0 0 0 16203 46014 0 0 20 0 17 0 653535810 1396334592 308703 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20887/tid=20891] ppid=20885 vsize=1363608 CPUtime=622.47
/proc/20887/task/20891/stat : 20891 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 6001 0 0 0 15765 46482 0 0 20 0 17 0 653535810 1396334592 308703 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20887/tid=20892] ppid=20885 vsize=1363608 CPUtime=622.14
/proc/20887/task/20892/stat : 20892 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 2096 0 0 0 16043 46171 0 0 20 0 17 0 653535810 1396334592 308703 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=20887/tid=20893] ppid=20885 vsize=1363608 CPUtime=621.68
/proc/20887/task/20893/stat : 20893 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 3783 0 0 0 15016 47152 0 0 20 0 17 0 653535811 1396334592 308703 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=20887/tid=20894] ppid=20885 vsize=1363608 CPUtime=622.5
/proc/20887/task/20894/stat : 20894 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 6871 0 0 0 15757 46493 0 0 20 0 17 0 653535811 1396334592 308703 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134519944 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20887/tid=20895] ppid=20885 vsize=1363608 CPUtime=622.55
/proc/20887/task/20895/stat : 20895 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 2147 0 0 0 16067 46188 0 0 20 0 17 0 653535811 1396334592 308703 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20887/tid=20896] ppid=20885 vsize=1363608 CPUtime=622.95
/proc/20887/task/20896/stat : 20896 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 4050 0 0 0 15236 47059 0 0 20 0 17 0 653535811 1396334592 308703 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134589666 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20887/tid=20897] ppid=20885 vsize=1363608 CPUtime=622.92
/proc/20887/task/20897/stat : 20897 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 2247 0 0 0 14912 47380 0 0 20 0 17 0 653535811 1396334592 308703 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20887/tid=20898] ppid=20885 vsize=1363608 CPUtime=621.74
/proc/20887/task/20898/stat : 20898 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 5698 0 0 0 14466 47708 0 0 20 0 17 0 653535811 1396334592 308703 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20887/tid=20899] ppid=20885 vsize=1363608 CPUtime=621.87
/proc/20887/task/20899/stat : 20899 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 1918 0 0 0 15309 46878 0 0 20 0 17 0 653535811 1396334592 308703 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20887/tid=20900] ppid=20885 vsize=1363608 CPUtime=621.74
/proc/20887/task/20900/stat : 20900 (ttsth-5-0) S 20885 20887 15497 0 -1 4202560 2050 0 0 0 14762 47412 0 0 20 0 17 0 653535811 1396334592 308703 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=20887/tid=20901] ppid=20885 vsize=1363608 CPUtime=621.86
/proc/20887/task/20901/stat : 20901 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 2033 0 0 0 15466 46720 0 0 20 0 17 0 653535811 1396334592 308703 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20887/tid=20902] ppid=20885 vsize=1363608 CPUtime=608.94
/proc/20887/task/20902/stat : 20902 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 2168 0 0 0 15663 45231 0 0 20 0 17 0 653535812 1396334592 308703 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20887/tid=20903] ppid=20885 vsize=1363608 CPUtime=622.3
/proc/20887/task/20903/stat : 20903 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 5484 0 0 0 15011 47219 0 0 20 0 17 0 653535812 1396334592 308703 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20887/tid=20904] ppid=20885 vsize=1363608 CPUtime=622.16
/proc/20887/task/20904/stat : 20904 (ttsth-5-0) R 20885 20887 15497 0 -1 4202560 2121 0 0 0 15511 46705 0 0 20 0 17 0 653535812 1396334592 308703 18446744073709551615 134512640 135237372 4292381792 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 10000.7
Current children cumulated vsize (KiB) 1363608

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

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

[startup+680.63 s]
/proc/loadavg: 15.87 15.24 11.15 18/201 20914
/proc/meminfo: memFree=17812432/36427776 swapFree=4692/1244448
[pid=20887] ppid=20885 vsize=0 CPUtime=10001
/proc/20887/stat : 20887 (ttsth-5-0) Z 20885 20887 15497 0 -1 4203532 310376 0 0 0 299033 701064 0 0 20 0 2 0 653531028 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20887/statm: 0 0 0 0 0 0 0
[pid=20887/tid=20904] ppid=20885 vsize=0 CPUtime=622.26
/proc/20887/task/20904/stat : 20904 (ttsth-5-0) R 20885 20887 15497 0 -1 4203588 2121 0 0 0 15511 46715 0 0 20 0 2 0 653535812 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 10001
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 680.653
CPU time (s): 10001
CPU user time (s): 2990.33
CPU system time (s): 7010.67
CPU usage (%): 1469.32
Max. virtual memory (cumulated for all children) (KiB): 1363608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2990.33
system time used= 7010.67
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 310376
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= 633572
involuntary context switches= 23785

runsolver used 3.84824 second user time and 10.1726 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 03:17:26
IDJOB=1776915
IDBENCH=69611
IDSOLVER=634
FILE ID=xenhost3-49/1776915-1244942246
PBS_JOBID=
Free space on /tmp= 7020 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT_RACE08/cnf/mizh-md5-47-4.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776915-1244942246/watcher-1776915-1244942246 -o /tmp/evaluation-result-1776915-1244942246/solver-1776915-1244942246 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776915-1244942246.cnf

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

MD5SUM BENCH= b0a37265834986ac9165bda379d279fd
RANDOM SEED= 1312669736

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:      19048700 kB
Buffers:        478172 kB
Cached:       14120928 kB
SwapCached:          0 kB
Active:        4124128 kB
Inactive:     10483012 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            6144 kB
Writeback:           0 kB
AnonPages:        8220 kB
Mapped:           3276 kB
Slab:           719156 kB
SReclaimable:   692248 kB
SUnreclaim:      26908 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29856 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 03:28:49