Trace number 1779765

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) 1867.17 148.2

General information on the benchmark

NameAPPLICATIONS/aprove09/
AProVE09-22.cnf
MD5SUMf83b70dc0ecb0b7df1f39f8d066a5804
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.52
Satisfiable
(Un)Satisfiability was proved
Number of variables11557
Number of clauses38505
Sum of the clauses size100479
Maximum clause length289
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 216316
Number of clauses of size 321332
Number of clauses of size 4788
Number of clauses of size 517
Number of clauses of size over 551

Solver Data 

0.02/0.06	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779765-1244955953.cnf 
0.02/0.06	c Using SATTIMEOUT of 10000
0.02/0.06	c Using SATRAM of 2047
0.02/0.06	c Size of subset node = 16
0.02/0.06	c Variables = 11557
0.02/0.06	c Clauses = 38505
0.02/0.06	c Literals = 100479
0.02/0.06	c Reduced size:
0.02/0.06	c Variables = 11557
0.02/0.06	c Clauses = 37518
0.02/0.06	c Literals = 97924
0.02/0.06	c a2
0.10/0.11	c a1
1.10/1.12	c Independent sub-problems = 1
1.10/1.12	c Sub-problem with 11199 variables and 37518 clauses
1.10/1.12	c using permutation method 4
1.10/1.12	c count = 1
1.10/1.12	c Ordering finished 1.110 seconds
1.10/1.12	c mapped 1.120 seconds
1.10/1.12	c permuted 1.120 seconds
1.10/1.12	c about to sort
1.10/1.13	c sorted
1.38/1.48	c clauses now 37518
1.38/1.48	c init finished 1.340 seconds
1.38/1.48	c tree built 1.480 seconds
1.38/1.48	c 
1.38/1.48	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
1.38/1.48	c ---------------------------------|----------------------------------|------------------------------------------------------
1.38/1.48	c ................................ | ..........                       |                        1.5           0.0             
1.38/1.48	c ................................ | ..........                     1 |                        1.5           0.7            1
1.38/1.48	c ................................ | ..........                     2 |                        1.5           1.4           20
1.38/1.48	c ................................ | ..........                     3 |                        1.5           2.0           20
1.38/1.48	c ................................ | ..........                     4 |                        1.5           2.7           29
1.38/1.48	c ................................ | ..........                     5 |                        1.5           3.4           55
1.38/1.49	c ................................ | ..........                  1000 | 18                     1.5         657.9          977
273.24/23.91	c ................................ | ..........               1671000 | 87556                200.5        8332.9      8074258
484.46/43.51	c ................................ | ..........               2494000 | 124168               400.3        6230.8     21001646
690.99/63.38	c ................................ | ..........               3125000 | 151769               600.0        5208.1     35340759
898.90/81.73	c ................................ | ..........               3782000 | 185049               801.6        4718.2     49325831
1105.73/97.32	c ................................ | *.........               4513000 | 220893              1000.5        4510.5     61514168
1316.52/112.67	c ................................ | *.........               5159000 | 256717              1200.6        4297.2     73524087
1532.11/126.83	c ................................ | *.........               5621000 | 287306              1400.2        4014.5     85687670
1742.18/140.12	c ................................ | *.........               6145000 | 318401              1600.5        3839.5     97159913

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-1779765-1244955953/watcher-1779765-1244955953 -o /tmp/evaluation-result-1779765-1244955953/solver-1779765-1244955953 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779765-1244955953.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.74 15.44 14.87 2/184 25492
/proc/meminfo: memFree=19043840/36427776 swapFree=4096/8648
[pid=25492] ppid=25490 vsize=1540 CPUtime=0
/proc/25492/stat : 25492 (ttsth-5-0) R 25490 25492 15497 0 -1 4202496 271 0 0 0 0 0 0 0 20 0 1 0 654901713 1576960 228 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134732614 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/25492/statm: 385 229 75 177 0 207 0

[startup+0.028378 s]
/proc/loadavg: 15.74 15.44 14.87 2/184 25492
/proc/meminfo: memFree=19043840/36427776 swapFree=4096/8648
[pid=25492] ppid=25490 vsize=2760 CPUtime=0.02
/proc/25492/stat : 25492 (ttsth-5-0) R 25490 25492 15497 0 -1 4202496 564 0 0 0 2 0 0 0 20 0 1 0 654901713 2826240 521 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134732614 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/25492/statm: 690 523 75 177 0 512 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2760

[startup+0.100386 s]
/proc/loadavg: 15.74 15.44 14.87 2/184 25492
/proc/meminfo: memFree=19043840/36427776 swapFree=4096/8648
[pid=25492] ppid=25490 vsize=6348 CPUtime=0.1
/proc/25492/stat : 25492 (ttsth-5-0) R 25490 25492 15497 0 -1 4202496 1475 0 0 0 10 0 0 0 20 0 1 0 654901713 6500352 1431 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134680502 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/25492/statm: 1587 1431 76 177 0 1409 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6348

[startup+0.300384 s]
/proc/loadavg: 15.74 15.44 14.87 2/184 25492
/proc/meminfo: memFree=19043840/36427776 swapFree=4096/8648
[pid=25492] ppid=25490 vsize=7948 CPUtime=0.28
/proc/25492/stat : 25492 (ttsth-5-0) R 25490 25492 15497 0 -1 4202496 1946 0 0 0 28 0 0 0 20 0 1 0 654901713 8138752 1827 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134555272 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/25492/statm: 1987 1827 77 177 0 1809 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7948

[startup+0.700424 s]
/proc/loadavg: 15.74 15.44 14.87 2/184 25492
/proc/meminfo: memFree=19043840/36427776 swapFree=4096/8648
[pid=25492] ppid=25490 vsize=8284 CPUtime=0.68
/proc/25492/stat : 25492 (ttsth-5-0) R 25490 25492 15497 0 -1 4202496 2002 0 0 0 68 0 0 0 20 0 1 0 654901713 8482816 1883 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134550999 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/25492/statm: 2071 1883 77 177 0 1893 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8284

[startup+1.50268 s]
/proc/loadavg: 15.74 15.44 14.87 2/185 25493
/proc/meminfo: memFree=19036376/36427776 swapFree=4396/15744
[pid=25492] ppid=25490 vsize=259168 CPUtime=1.66
/proc/25492/stat : 25492 (ttsth-5-0) R 25490 25492 15497 0 -1 4202496 33674 0 0 0 146 20 0 0 20 0 16 0 654901713 265388032 33518 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134762516 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/25492/statm: 64792 33519 95 177 0 64614 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 259168

[startup+3.10286 s]
/proc/loadavg: 15.76 15.45 14.87 17/201 25509
/proc/meminfo: memFree=18901268/36427776 swapFree=4680/152548
[pid=25492] ppid=25490 vsize=280284 CPUtime=23.42
/proc/25492/stat : 25492 (ttsth-5-0) S 25490 25492 15497 0 -1 4202496 38155 0 0 0 739 1603 0 0 20 0 17 0 654901713 287010816 37999 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/25492/statm: 70071 37999 95 177 0 69893 0
[pid=25492/tid=25494] ppid=25490 vsize=280284 CPUtime=0.86
/proc/25492/task/25494/stat : 25494 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 541 0 0 0 86 0 0 0 20 0 17 0 654901861 287010816 37999 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134590278 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25492/tid=25495] ppid=25490 vsize=280284 CPUtime=1.06
/proc/25492/task/25495/stat : 25495 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 254 0 0 0 26 80 0 0 20 0 17 0 654901861 287010816 37999 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=25492/tid=25496] ppid=25490 vsize=280284 CPUtime=1.54
/proc/25492/task/25496/stat : 25496 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 285 0 0 0 42 112 0 0 20 0 17 0 654901861 287010816 37999 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25492/tid=25497] ppid=25490 vsize=280284 CPUtime=1.26
/proc/25492/task/25497/stat : 25497 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 277 0 0 0 26 100 0 0 20 0 17 0 654901861 287010816 37999 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=25492/tid=25498] ppid=25490 vsize=280284 CPUtime=1.56
/proc/25492/task/25498/stat : 25498 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 327 0 0 0 42 114 0 0 20 0 17 0 654901861 287010816 37999 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=25492/tid=25499] ppid=25490 vsize=280284 CPUtime=1.54
/proc/25492/task/25499/stat : 25499 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 254 0 0 0 34 120 0 0 20 0 17 0 654901861 287010816 37999 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25492/tid=25500] ppid=25490 vsize=280284 CPUtime=1.56
/proc/25492/task/25500/stat : 25500 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 283 0 0 0 38 118 0 0 20 0 17 0 654901861 287010816 37999 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25492/tid=25501] ppid=25490 vsize=280284 CPUtime=1.56
/proc/25492/task/25501/stat : 25501 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 430 0 0 0 44 112 0 0 20 0 17 0 654901861 287010816 37999 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25492/tid=25502] ppid=25490 vsize=280284 CPUtime=1.54
/proc/25492/task/25502/stat : 25502 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 263 0 0 0 32 122 0 0 20 0 17 0 654901861 287010816 37999 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=25492/tid=25503] ppid=25490 vsize=280284 CPUtime=1.54
/proc/25492/task/25503/stat : 25503 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 331 0 0 0 42 112 0 0 20 0 17 0 654901862 287010816 37999 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25492/tid=25504] ppid=25490 vsize=280284 CPUtime=1.56
/proc/25492/task/25504/stat : 25504 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 279 0 0 0 36 120 0 0 20 0 17 0 654901862 287010816 37999 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=25492/tid=25505] ppid=25490 vsize=280284 CPUtime=1.56
/proc/25492/task/25505/stat : 25505 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 340 0 0 0 36 120 0 0 20 0 17 0 654901862 287010816 37999 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=25492/tid=25506] ppid=25490 vsize=280284 CPUtime=1.24
/proc/25492/task/25506/stat : 25506 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 249 0 0 0 32 92 0 0 20 0 17 0 654901862 287010816 37999 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25492/tid=25507] ppid=25490 vsize=280284 CPUtime=1.56
/proc/25492/task/25507/stat : 25507 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 271 0 0 0 36 120 0 0 20 0 17 0 654901862 287010816 37999 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25492/tid=25508] ppid=25490 vsize=280284 CPUtime=1.14
/proc/25492/task/25508/stat : 25508 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 290 0 0 0 28 86 0 0 20 0 17 0 654901862 287010816 37999 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25492/tid=25509] ppid=25490 vsize=280284 CPUtime=0.74
/proc/25492/task/25509/stat : 25509 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 172 0 0 0 16 58 0 0 20 0 17 0 654901865 287010816 37999 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 23.42
Current children cumulated vsize (KiB) 280284

[startup+6.30495 s]
/proc/loadavg: 15.76 15.45 14.87 17/201 25509
/proc/meminfo: memFree=18883988/36427776 swapFree=4692/169560
[pid=25492] ppid=25490 vsize=297116 CPUtime=64.27
/proc/25492/stat : 25492 (ttsth-5-0) S 25490 25492 15497 0 -1 4202496 42447 0 0 0 2075 4352 0 0 20 0 17 0 654901713 304246784 42291 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/25492/statm: 74279 42293 95 177 0 74101 0
[pid=25492/tid=25494] ppid=25490 vsize=297116 CPUtime=2.48
/proc/25492/task/25494/stat : 25494 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 1089 0 0 0 246 2 0 0 20 0 17 0 654901861 304246784 42293 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25492/tid=25495] ppid=25490 vsize=297116 CPUtime=2.82
/proc/25492/task/25495/stat : 25495 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 457 0 0 0 78 204 0 0 20 0 17 0 654901861 304246784 42293 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=25492/tid=25496] ppid=25490 vsize=297116 CPUtime=4.68
/proc/25492/task/25496/stat : 25496 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 652 0 0 0 132 336 0 0 20 0 17 0 654901861 304246784 42293 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25492/tid=25497] ppid=25490 vsize=297116 CPUtime=2.84
/proc/25492/task/25497/stat : 25497 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 388 0 0 0 68 216 0 0 20 0 17 0 654901861 304246784 42293 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25492/tid=25498] ppid=25490 vsize=297116 CPUtime=4.68
/proc/25492/task/25498/stat : 25498 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 765 0 0 0 120 348 0 0 20 0 17 0 654901861 304246784 42293 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=25492/tid=25499] ppid=25490 vsize=297116 CPUtime=4.68
/proc/25492/task/25499/stat : 25499 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 527 0 0 0 136 332 0 0 20 0 17 0 654901861 304246784 42293 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25492/tid=25500] ppid=25490 vsize=297116 CPUtime=3.18
/proc/25492/task/25500/stat : 25500 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 363 0 0 0 92 226 0 0 20 0 17 0 654901861 304246784 42293 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25492/tid=25501] ppid=25490 vsize=297116 CPUtime=4.66
/proc/25492/task/25501/stat : 25501 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 754 0 0 0 134 332 0 0 20 0 17 0 654901861 304246784 42294 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25492/tid=25502] ppid=25490 vsize=297116 CPUtime=4.66
/proc/25492/task/25502/stat : 25502 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 410 0 0 0 134 332 0 0 20 0 17 0 654901861 304246784 42294 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=25492/tid=25503] ppid=25490 vsize=297116 CPUtime=4.66
/proc/25492/task/25503/stat : 25503 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 697 0 0 0 134 332 0 0 20 0 17 0 654901862 304246784 42294 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25492/tid=25504] ppid=25490 vsize=297116 CPUtime=4.7
/proc/25492/task/25504/stat : 25504 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 509 0 0 0 132 338 0 0 20 0 17 0 654901862 304246784 42294 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=25492/tid=25505] ppid=25490 vsize=297116 CPUtime=3.18
/proc/25492/task/25505/stat : 25505 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 545 0 0 0 92 226 0 0 20 0 17 0 654901862 304246784 42294 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25492/tid=25506] ppid=25490 vsize=297116 CPUtime=4.16
/proc/25492/task/25506/stat : 25506 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 597 0 0 0 122 294 0 0 20 0 17 0 654901862 304246784 42294 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25492/tid=25507] ppid=25490 vsize=297116 CPUtime=4.68
/proc/25492/task/25507/stat : 25507 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 621 0 0 0 130 338 0 0 20 0 17 0 654901862 304246784 42294 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25492/tid=25508] ppid=25490 vsize=297116 CPUtime=4.28
/proc/25492/task/25508/stat : 25508 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 499 0 0 0 126 302 0 0 20 0 17 0 654901862 304246784 42294 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25492/tid=25509] ppid=25490 vsize=297116 CPUtime=2.32
/proc/25492/task/25509/stat : 25509 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 267 0 0 0 56 176 0 0 20 0 17 0 654901865 304246784 42294 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 64.27
Current children cumulated vsize (KiB) 297116

[startup+12.7038 s]
/proc/loadavg: 15.79 15.46 14.89 17/201 25509
/proc/meminfo: memFree=18844768/36427776 swapFree=4692/209928
[pid=25492] ppid=25490 vsize=333252 CPUtime=146.68
/proc/25492/stat : 25492 (ttsth-5-0) S 25490 25492 15497 0 -1 4202496 51968 0 0 0 5112 9556 0 0 20 0 17 0 654901713 341250048 51812 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/25492/statm: 83313 51812 95 177 0 83135 0
[pid=25492/tid=25494] ppid=25490 vsize=333252 CPUtime=7.52
/proc/25492/task/25494/stat : 25494 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 2781 0 0 0 744 8 0 0 20 0 17 0 654901861 341250048 51812 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25492/tid=25495] ppid=25490 vsize=333252 CPUtime=6.84
/proc/25492/task/25495/stat : 25495 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 914 0 0 0 216 468 0 0 20 0 17 0 654901861 341250048 51812 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25492/tid=25496] ppid=25490 vsize=333252 CPUtime=10.92
/proc/25492/task/25496/stat : 25496 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 1499 0 0 0 342 750 0 0 20 0 17 0 654901861 341250048 51812 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25492/tid=25497] ppid=25490 vsize=333252 CPUtime=8.7
/proc/25492/task/25497/stat : 25497 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 1079 0 0 0 274 596 0 0 20 0 17 0 654901861 341250048 51812 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25492/tid=25498] ppid=25490 vsize=333252 CPUtime=10.88
/proc/25492/task/25498/stat : 25498 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 1301 0 0 0 316 772 0 0 20 0 17 0 654901861 341250048 51812 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=25492/tid=25499] ppid=25490 vsize=333252 CPUtime=10.9
/proc/25492/task/25499/stat : 25499 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 1094 0 0 0 350 740 0 0 20 0 17 0 654901861 341250048 51812 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25492/tid=25500] ppid=25490 vsize=333252 CPUtime=9
/proc/25492/task/25500/stat : 25500 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 852 0 0 0 288 612 0 0 20 0 17 0 654901861 341250048 51812 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25492/tid=25501] ppid=25490 vsize=333252 CPUtime=10.92
/proc/25492/task/25501/stat : 25501 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 1251 0 0 0 340 752 0 0 20 0 17 0 654901861 341250048 51812 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25492/tid=25502] ppid=25490 vsize=333252 CPUtime=10.9
/proc/25492/task/25502/stat : 25502 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 1102 0 0 0 322 768 0 0 20 0 17 0 654901861 341250048 51812 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=25492/tid=25503] ppid=25490 vsize=333252 CPUtime=7.94
/proc/25492/task/25503/stat : 25503 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 1019 0 0 0 238 556 0 0 20 0 17 0 654901862 341250048 51812 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25492/tid=25504] ppid=25490 vsize=333252 CPUtime=10.94
/proc/25492/task/25504/stat : 25504 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 1019 0 0 0 346 748 0 0 20 0 17 0 654901862 341250048 51812 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=25492/tid=25505] ppid=25490 vsize=333252 CPUtime=9.18
/proc/25492/task/25505/stat : 25505 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 1287 0 0 0 286 632 0 0 20 0 17 0 654901862 341250048 51812 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134680265 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25492/tid=25506] ppid=25490 vsize=333252 CPUtime=7.38
/proc/25492/task/25506/stat : 25506 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 814 0 0 0 224 514 0 0 20 0 17 0 654901862 341250048 51812 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=25492/tid=25507] ppid=25490 vsize=333252 CPUtime=9.2
/proc/25492/task/25507/stat : 25507 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 961 0 0 0 268 652 0 0 20 0 17 0 654901862 341250048 51812 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25492/tid=25508] ppid=25490 vsize=333252 CPUtime=8.32
/proc/25492/task/25508/stat : 25508 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 959 0 0 0 252 580 0 0 20 0 17 0 654901862 341250048 51812 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25492/tid=25509] ppid=25490 vsize=333252 CPUtime=5.5
/proc/25492/task/25509/stat : 25509 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 727 0 0 0 162 388 0 0 20 0 17 0 654901865 341250048 51812 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 146.68
Current children cumulated vsize (KiB) 333252

[startup+25.5026 s]
/proc/loadavg: 15.82 15.48 14.90 17/201 25509
/proc/meminfo: memFree=18723612/36427776 swapFree=4692/331916
[pid=25492] ppid=25490 vsize=454264 CPUtime=289.01
/proc/25492/stat : 25492 (ttsth-5-0) S 25490 25492 15497 0 -1 4202496 81646 0 0 0 13453 15448 0 0 20 0 17 0 654901713 465166336 81490 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/25492/statm: 113566 81490 95 177 0 113388 0
[pid=25492/tid=25494] ppid=25490 vsize=454264 CPUtime=20.3
/proc/25492/task/25494/stat : 25494 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 8342 0 0 0 2016 14 0 0 20 0 17 0 654901861 465166336 81490 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25492/tid=25495] ppid=25490 vsize=454264 CPUtime=14.62
/proc/25492/task/25495/stat : 25495 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 2533 0 0 0 668 794 0 0 20 0 17 0 654901861 465166336 81490 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134680290 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25492/tid=25496] ppid=25490 vsize=454264 CPUtime=20.7
/proc/25492/task/25496/stat : 25496 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 2737 0 0 0 822 1248 0 0 20 0 17 0 654901861 465166336 81490 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25492/tid=25497] ppid=25490 vsize=454264 CPUtime=19.58
/proc/25492/task/25497/stat : 25497 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 3548 0 0 0 848 1110 0 0 20 0 17 0 654901861 465166336 81490 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134587907 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25492/tid=25498] ppid=25490 vsize=454264 CPUtime=19.7
/proc/25492/task/25498/stat : 25498 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 2345 0 0 0 760 1210 0 0 20 0 17 0 654901861 465166336 81491 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=25492/tid=25499] ppid=25490 vsize=454264 CPUtime=22.58
/proc/25492/task/25499/stat : 25499 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 4166 0 0 0 990 1268 0 0 20 0 17 0 654901861 465166336 81491 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25492/tid=25500] ppid=25490 vsize=454264 CPUtime=16.06
/proc/25492/task/25500/stat : 25500 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 2007 0 0 0 666 940 0 0 20 0 17 0 654901861 465166336 81491 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134549956 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25492/tid=25501] ppid=25490 vsize=454264 CPUtime=18.04
/proc/25492/task/25501/stat : 25501 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 2397 0 0 0 718 1086 0 0 20 0 17 0 654901861 465166336 81491 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134551784 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25492/tid=25502] ppid=25490 vsize=454264 CPUtime=23.12
/proc/25492/task/25502/stat : 25502 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 3872 0 0 0 1008 1304 0 0 20 0 17 0 654901861 465166336 81491 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134592184 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=25492/tid=25503] ppid=25490 vsize=454264 CPUtime=15.02
/proc/25492/task/25503/stat : 25503 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 3295 0 0 0 684 818 0 0 20 0 17 0 654901862 465166336 81491 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=25492/tid=25504] ppid=25490 vsize=454264 CPUtime=22.68
/proc/25492/task/25504/stat : 25504 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 2730 0 0 0 942 1326 0 0 20 0 17 0 654901862 465166336 81491 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134591687 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=25492/tid=25505] ppid=25490 vsize=454264 CPUtime=16.18
/proc/25492/task/25505/stat : 25505 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 1851 0 0 0 686 932 0 0 20 0 17 0 654901862 465166336 81491 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25492/tid=25506] ppid=25490 vsize=454264 CPUtime=13.76
/proc/25492/task/25506/stat : 25506 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 1726 0 0 0 594 782 0 0 20 0 17 0 654901862 465166336 81491 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25492/tid=25507] ppid=25490 vsize=454264 CPUtime=17.5
/proc/25492/task/25507/stat : 25507 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 2206 0 0 0 702 1048 0 0 20 0 17 0 654901862 465166336 81491 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134591082 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25492/tid=25508] ppid=25490 vsize=454264 CPUtime=14.98
/proc/25492/task/25508/stat : 25508 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 2428 0 0 0 622 876 0 0 20 0 17 0 654901862 465166336 81491 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25492/tid=25509] ppid=25490 vsize=454264 CPUtime=12.54
/proc/25492/task/25509/stat : 25509 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 2154 0 0 0 580 674 0 0 20 0 17 0 654901865 465166336 81491 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134590245 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 289.01
Current children cumulated vsize (KiB) 454264

[startup+51.105 s]
/proc/loadavg: 15.80 15.51 14.92 17/201 25509
/proc/meminfo: memFree=18419660/36427776 swapFree=4692/635440
[pid=25492] ppid=25490 vsize=777784 CPUtime=556.94
/proc/25492/stat : 25492 (ttsth-5-0) S 25490 25492 15497 0 -1 4202496 158341 0 0 0 38273 17421 0 0 20 0 17 0 654901713 796450816 158185 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/25492/statm: 194446 158185 95 177 0 194268 0
[pid=25492/tid=25494] ppid=25490 vsize=777784 CPUtime=42.53
/proc/25492/task/25494/stat : 25494 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 15102 0 0 0 4227 26 0 0 20 0 17 0 654901861 796450816 158185 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25492/tid=25495] ppid=25490 vsize=777784 CPUtime=30.78
/proc/25492/task/25495/stat : 25495 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 6212 0 0 0 2144 934 0 0 20 0 17 0 654901861 796450816 158185 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25492/tid=25496] ppid=25490 vsize=777784 CPUtime=38.88
/proc/25492/task/25496/stat : 25496 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 7979 0 0 0 2506 1382 0 0 20 0 17 0 654901861 796450816 158185 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25492/tid=25497] ppid=25490 vsize=777784 CPUtime=33.86
/proc/25492/task/25497/stat : 25497 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 6756 0 0 0 2178 1208 0 0 20 0 17 0 654901861 796450816 158185 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=25492/tid=25498] ppid=25490 vsize=777784 CPUtime=37.68
/proc/25492/task/25498/stat : 25498 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 6559 0 0 0 2424 1344 0 0 20 0 17 0 654901861 796450816 158185 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=25492/tid=25499] ppid=25490 vsize=777784 CPUtime=37.46
/proc/25492/task/25499/stat : 25499 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 9073 0 0 0 2354 1392 0 0 20 0 17 0 654901861 796450816 158185 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25492/tid=25500] ppid=25490 vsize=777784 CPUtime=31.62
/proc/25492/task/25500/stat : 25500 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 7841 0 0 0 2116 1046 0 0 20 0 17 0 654901861 796450816 158185 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25492/tid=25501] ppid=25490 vsize=777784 CPUtime=31.9
/proc/25492/task/25501/stat : 25501 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 6328 0 0 0 1980 1210 0 0 20 0 17 0 654901861 796450816 158186 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25492/tid=25502] ppid=25490 vsize=777784 CPUtime=40.98
/proc/25492/task/25502/stat : 25502 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 9308 0 0 0 2668 1430 0 0 20 0 17 0 654901861 796450816 158186 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=25492/tid=25503] ppid=25490 vsize=777784 CPUtime=34.54
/proc/25492/task/25503/stat : 25503 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 8250 0 0 0 2502 952 0 0 20 0 17 0 654901862 796450816 158186 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25492/tid=25504] ppid=25490 vsize=777784 CPUtime=35.7
/proc/25492/task/25504/stat : 25504 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 6155 0 0 0 2152 1418 0 0 20 0 17 0 654901862 796450816 158186 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25492/tid=25505] ppid=25490 vsize=777784 CPUtime=35.12
/proc/25492/task/25505/stat : 25505 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 7180 0 0 0 2442 1070 0 0 20 0 17 0 654901862 796450816 158186 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=25492/tid=25506] ppid=25490 vsize=777784 CPUtime=28.12
/proc/25492/task/25506/stat : 25506 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 5807 0 0 0 1862 950 0 0 20 0 17 0 654901862 796450816 158186 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134549873 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=25492/tid=25507] ppid=25490 vsize=777784 CPUtime=38.28
/proc/25492/task/25507/stat : 25507 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 8676 0 0 0 2606 1222 0 0 20 0 17 0 654901862 796450816 158186 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25492/tid=25508] ppid=25490 vsize=777784 CPUtime=31.12
/proc/25492/task/25508/stat : 25508 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 7988 0 0 0 2100 1012 0 0 20 0 17 0 654901862 796450816 158186 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134549877 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25492/tid=25509] ppid=25490 vsize=777784 CPUtime=26.76
/proc/25492/task/25509/stat : 25509 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 5819 0 0 0 1870 806 0 0 20 0 17 0 654901865 796450816 158186 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 556.94
Current children cumulated vsize (KiB) 777784

[startup+102.313 s]
/proc/loadavg: 15.64 15.50 14.95 16/201 25509
/proc/meminfo: memFree=17778536/36427776 swapFree=4692/1275044
[pid=25492] ppid=25490 vsize=1454348 CPUtime=1175.02
/proc/25492/stat : 25492 (ttsth-5-0) S 25490 25492 15497 0 -1 4202496 317151 0 0 0 96791 20711 0 0 20 0 17 0 654901713 1489252352 316995 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/25492/statm: 363587 316997 95 177 0 363409 0
[pid=25492/tid=25494] ppid=25490 vsize=1454348 CPUtime=88.87
/proc/25492/task/25494/stat : 25494 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 26040 0 0 0 8845 42 0 0 20 0 17 0 654901861 1489252352 316997 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134590146 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25492/tid=25495] ppid=25490 vsize=1454348 CPUtime=71.48
/proc/25492/task/25495/stat : 25495 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 15151 0 0 0 5952 1196 0 0 20 0 17 0 654901861 1489252352 316997 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134749343 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25492/tid=25496] ppid=25490 vsize=1454348 CPUtime=80.9
/proc/25492/task/25496/stat : 25496 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 19137 0 0 0 6478 1612 0 0 20 0 17 0 654901861 1489252352 316997 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134546011 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=25492/tid=25497] ppid=25490 vsize=1454348 CPUtime=73.49
/proc/25492/task/25497/stat : 25497 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 17340 0 0 0 5927 1422 0 0 20 0 17 0 654901861 1489252352 316997 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25492/tid=25498] ppid=25490 vsize=1454348 CPUtime=70.24
/proc/25492/task/25498/stat : 25498 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 13426 0 0 0 5520 1504 0 0 20 0 17 0 654901861 1489252352 316997 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=25492/tid=25499] ppid=25490 vsize=1454348 CPUtime=76.92
/proc/25492/task/25499/stat : 25499 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 22038 0 0 0 6128 1564 0 0 20 0 17 0 654901861 1489252352 316997 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134591171 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=25492/tid=25500] ppid=25490 vsize=1454348 CPUtime=64.46
/proc/25492/task/25500/stat : 25500 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 19035 0 0 0 5226 1220 0 0 20 0 17 0 654901861 1489252352 316997 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134561510 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25492/tid=25501] ppid=25490 vsize=1454348 CPUtime=72.61
/proc/25492/task/25501/stat : 25501 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 16089 0 0 0 5817 1444 0 0 20 0 17 0 654901861 1489252352 316997 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=25492/tid=25502] ppid=25490 vsize=1454348 CPUtime=75.54
/proc/25492/task/25502/stat : 25502 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 17961 0 0 0 5958 1596 0 0 20 0 17 0 654901861 1489252352 316997 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25492/tid=25503] ppid=25490 vsize=1454348 CPUtime=72.37
/proc/25492/task/25503/stat : 25503 (ttsth-5-0) S 25490 25492 15497 0 -1 4202560 17491 0 0 0 6037 1200 0 0 20 0 17 0 654901862 1489252352 316997 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=25492/tid=25504] ppid=25490 vsize=1454348 CPUtime=73.59
/proc/25492/task/25504/stat : 25504 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 13506 0 0 0 5647 1712 0 0 20 0 17 0 654901862 1489252352 316997 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25492/tid=25505] ppid=25490 vsize=1454348 CPUtime=76.57
/proc/25492/task/25505/stat : 25505 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 16906 0 0 0 6355 1302 0 0 20 0 17 0 654901862 1489252352 316997 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25492/tid=25506] ppid=25490 vsize=1454348 CPUtime=69.71
/proc/25492/task/25506/stat : 25506 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 15461 0 0 0 5799 1172 0 0 20 0 17 0 654901862 1489252352 316997 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25492/tid=25507] ppid=25490 vsize=1454348 CPUtime=74.08
/proc/25492/task/25507/stat : 25507 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 18042 0 0 0 5966 1442 0 0 20 0 17 0 654901862 1489252352 316997 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25492/tid=25508] ppid=25490 vsize=1454348 CPUtime=65.14
/proc/25492/task/25508/stat : 25508 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 19438 0 0 0 5300 1214 0 0 20 0 17 0 654901862 1489252352 316997 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25492/tid=25509] ppid=25490 vsize=1454348 CPUtime=67.44
/proc/25492/task/25509/stat : 25509 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 16783 0 0 0 5694 1050 0 0 20 0 17 0 654901865 1489252352 316997 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134749343 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1175.02
Current children cumulated vsize (KiB) 1454348



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+148.004 s]
/proc/loadavg: 15.77 15.55 14.99 18/201 25509
/proc/meminfo: memFree=17176612/36427776 swapFree=4692/1877792
[pid=25492] ppid=25490 vsize=2097540 CPUtime=1866.84
/proc/25492/stat : 25492 (ttsth-5-0) S 25490 25492 15497 0 -1 4202496 467589 0 0 0 157661 29023 0 0 20 0 17 0 654901713 2147880960 467433 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/25492/statm: 524385 467433 95 177 0 524207 0
[pid=25492/tid=25494] ppid=25490 vsize=2097540 CPUtime=134.44
/proc/25492/task/25494/stat : 25494 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 43648 0 0 0 13370 74 0 0 20 0 17 0 654901861 2147880960 467434 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25492/tid=25495] ppid=25490 vsize=2097540 CPUtime=113.98
/proc/25492/task/25495/stat : 25495 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 25325 0 0 0 9708 1690 0 0 20 0 17 0 654901861 2147880960 467434 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134590140 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25492/tid=25496] ppid=25490 vsize=2097540 CPUtime=124.45
/proc/25492/task/25496/stat : 25496 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 27569 0 0 0 10273 2172 0 0 20 0 17 0 654901861 2147880960 467434 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=25492/tid=25497] ppid=25490 vsize=2097540 CPUtime=117.38
/proc/25492/task/25497/stat : 25497 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 26976 0 0 0 9786 1952 0 0 20 0 17 0 654901861 2147880960 467435 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25492/tid=25498] ppid=25490 vsize=2097540 CPUtime=113.6
/proc/25492/task/25498/stat : 25498 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 22807 0 0 0 9408 1952 0 0 20 0 17 0 654901861 2147880960 467435 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134549950 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=25492/tid=25499] ppid=25490 vsize=2097540 CPUtime=115.91
/proc/25492/task/25499/stat : 25499 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 28898 0 0 0 9457 2134 0 0 20 0 17 0 654901861 2147880960 467435 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=25492/tid=25500] ppid=25490 vsize=2097540 CPUtime=107.66
/proc/25492/task/25500/stat : 25500 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 27638 0 0 0 9030 1736 0 0 20 0 17 0 654901861 2147880960 467435 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25492/tid=25501] ppid=25490 vsize=2097540 CPUtime=114.8
/proc/25492/task/25501/stat : 25501 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 24163 0 0 0 9522 1958 0 0 20 0 17 0 654901861 2147880960 467435 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25492/tid=25502] ppid=25490 vsize=2097540 CPUtime=117.95
/proc/25492/task/25502/stat : 25502 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 26152 0 0 0 9605 2190 0 0 20 0 17 0 654901861 2147880960 467435 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25492/tid=25503] ppid=25490 vsize=2097540 CPUtime=117.42
/proc/25492/task/25503/stat : 25503 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 28731 0 0 0 9982 1760 0 0 20 0 17 0 654901862 2147880960 467435 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134591126 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=25492/tid=25504] ppid=25490 vsize=2097540 CPUtime=118.61
/proc/25492/task/25504/stat : 25504 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 22735 0 0 0 9587 2274 0 0 20 0 17 0 654901862 2147880960 467435 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25492/tid=25505] ppid=25490 vsize=2097540 CPUtime=121.34
/proc/25492/task/25505/stat : 25505 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 25265 0 0 0 10240 1894 0 0 20 0 17 0 654901862 2147880960 467435 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25492/tid=25506] ppid=25490 vsize=2097540 CPUtime=113.15
/proc/25492/task/25506/stat : 25506 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 27087 0 0 0 9569 1746 0 0 20 0 17 0 654901862 2147880960 467435 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=25492/tid=25507] ppid=25490 vsize=2097540 CPUtime=116.48
/proc/25492/task/25507/stat : 25507 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 25645 0 0 0 9694 1954 0 0 20 0 17 0 654901862 2147880960 467436 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=25492/tid=25508] ppid=25490 vsize=2097540 CPUtime=107.6
/proc/25492/task/25508/stat : 25508 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 27147 0 0 0 8886 1874 0 0 20 0 17 0 654901862 2147880960 467436 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25492/tid=25509] ppid=25490 vsize=2097540 CPUtime=110.45
/proc/25492/task/25509/stat : 25509 (ttsth-5-0) R 25490 25492 15497 0 -1 4202560 24495 0 0 0 9399 1646 0 0 20 0 17 0 654901865 2147880960 467436 18446744073709551615 134512640 135237372 4293022976 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1866.84
Current children cumulated vsize (KiB) 2097540

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

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

[startup+148.125 s]
/proc/loadavg: 15.77 15.55 14.99 18/201 25509
/proc/meminfo: memFree=17176612/36427776 swapFree=4692/1877792
[pid=25492] ppid=25490 vsize=0 CPUtime=1867.09
/proc/25492/stat : 25492 (ttsth-5-0) Z 25490 25492 15497 0 -1 4203532 467626 0 0 0 157674 29035 0 0 20 0 2 0 654901713 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/25492/statm: 0 0 0 0 0 0 0
[pid=25492/tid=25507] ppid=25490 vsize=0 CPUtime=116.58
/proc/25492/task/25507/stat : 25507 (ttsth-5-0) R 25490 25492 15497 0 -1 4203588 25645 0 0 0 9694 1964 0 0 20 0 2 0 654901862 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1867.09
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 148.2
CPU time (s): 1867.17
CPU user time (s): 1576.74
CPU system time (s): 290.43
CPU usage (%): 1259.9
Max. virtual memory (cumulated for all children) (KiB): 2097540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1576.74
system time used= 290.43
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 467626
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= 331151
involuntary context switches= 35131

runsolver used 0.752047 second user time and 2.04413 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 07:05:53
IDJOB=1779765
IDBENCH=70896
IDSOLVER=634
FILE ID=xenhost3-49/1779765-1244955953
PBS_JOBID=
Free space on /tmp= 7023 MiB

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

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

MD5SUM BENCH= f83b70dc0ecb0b7df1f39f8d066a5804
RANDOM SEED= 1204131159

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:      19044284 kB
Buffers:        483496 kB
Cached:       14116616 kB
SwapCached:          0 kB
Active:        4129860 kB
Inactive:     10478592 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1228 kB
Writeback:           0 kB
AnonPages:        8648 kB
Mapped:           4096 kB
Slab:           721644 kB
SReclaimable:   694884 kB
SUnreclaim:      26760 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29496 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

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