Trace number 1779435

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) 1534.6 102.507

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-20-s100.cnf
MD5SUM5d7745a7593199a47cd1accba5810ed0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables31503
Number of clauses94748
Sum of the clauses size223300
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 260816
Number of clauses of size 333868
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.10/0.13	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779435-1244953270.cnf 
0.10/0.13	c Using SATTIMEOUT of 10000
0.10/0.13	c Using SATRAM of 2047
0.10/0.13	c Size of subset node = 16
0.10/0.13	c Variables = 31503
0.10/0.13	c Clauses = 94748
0.10/0.13	c Literals = 223300
0.10/0.13	c Reduced size:
0.10/0.13	c Variables = 31503
0.10/0.13	c Clauses = 94264
0.10/0.13	c Literals = 222016
0.10/0.13	c a2
0.20/0.24	c a1
3.60/3.61	c Independent sub-problems = 1
3.60/3.61	c Sub-problem with 31355 variables and 94264 clauses
3.60/3.61	c using permutation method 4
3.60/3.61	c count = 1
3.60/3.61	c Ordering finished 3.580 seconds
3.60/3.61	c mapped 3.600 seconds
3.60/3.61	c permuted 3.600 seconds
3.60/3.61	c about to sort
3.60/3.63	c sorted
4.50/4.57	c clauses now 94264
4.50/4.57	c init finished 4.220 seconds
4.50/4.57	c tree built 4.550 seconds
4.50/4.57	c 
4.50/4.57	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
4.50/4.57	c ---------------------------------|----------------------------------|------------------------------------------------------
4.50/4.57	c ................................ | ..........                       |                        4.6           0.0             
4.50/4.57	c ................................ | ..........                     1 |                        4.6           0.2             
4.50/4.57	c ................................ | ..........                     2 |                        4.6           0.4             
4.50/4.57	c ................................ | ..........                     3 |                        4.6           0.7             
4.50/4.57	c ................................ | ..........                     4 |                        4.6           0.9             
4.50/4.57	c ................................ | ..........                     5 |                        4.6           1.1             
4.50/4.58	c ................................ | ..........                  1000 | 22                     4.7         214.6          344
303.62/23.71	c ................................ | ..........                885000 | 23356                200.3        4417.7     20327717
596.34/42.41	c ................................ | ..........               1980000 | 47475                400.1        4949.0     38370588
887.58/61.07	c ................................ | ..........               2798000 | 67691                600.2        4661.9     54304236
1171.09/79.16	c ................................ | ..........               3691000 | 89473                800.3        4611.8     69845526
1454.15/97.26	c ................................ | *.........               4888000 | 117774              1000.0        4887.9     83811216

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-1779435-1244953270/watcher-1779435-1244953270 -o /tmp/evaluation-result-1779435-1244953270/solver-1779435-1244953270 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779435-1244953270.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: 14.04 14.50 12.96 2/184 23904
/proc/meminfo: memFree=19044280/36427776 swapFree=4312/8268
[pid=23904] ppid=23902 vsize=1540 CPUtime=0
/proc/23904/stat : 23904 (ttsth-5-0) R 23902 23904 15497 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 654633355 1576960 234 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/23904/statm: 385 234 75 177 0 207 0

[startup+0.046063 s]
/proc/loadavg: 14.04 14.50 12.96 2/184 23904
/proc/meminfo: memFree=19044280/36427776 swapFree=4312/8268
[pid=23904] ppid=23902 vsize=3896 CPUtime=0.04
/proc/23904/stat : 23904 (ttsth-5-0) R 23902 23904 15497 0 -1 4202496 869 0 0 0 4 0 0 0 20 0 1 0 654633355 3989504 826 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/23904/statm: 974 828 75 177 0 796 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3896

[startup+0.102106 s]
/proc/loadavg: 14.04 14.50 12.96 2/184 23904
/proc/meminfo: memFree=19044280/36427776 swapFree=4312/8268
[pid=23904] ppid=23902 vsize=7848 CPUtime=0.1
/proc/23904/stat : 23904 (ttsth-5-0) R 23902 23904 15497 0 -1 4202496 1767 0 0 0 10 0 0 0 20 0 1 0 654633355 8036352 1724 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134534146 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/23904/statm: 1962 1724 75 177 0 1784 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7848

[startup+0.302146 s]
/proc/loadavg: 14.04 14.50 12.96 2/184 23904
/proc/meminfo: memFree=19044280/36427776 swapFree=4312/8268
[pid=23904] ppid=23902 vsize=14612 CPUtime=0.3
/proc/23904/stat : 23904 (ttsth-5-0) R 23902 23904 15497 0 -1 4202496 3691 0 0 0 28 2 0 0 20 0 1 0 654633355 14962688 3461 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/23904/statm: 3653 3462 77 177 0 3475 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 14612

[startup+0.702119 s]
/proc/loadavg: 14.04 14.50 12.96 2/184 23904
/proc/meminfo: memFree=19044280/36427776 swapFree=4312/8268
[pid=23904] ppid=23902 vsize=18608 CPUtime=0.7
/proc/23904/stat : 23904 (ttsth-5-0) R 23902 23904 15497 0 -1 4202496 4656 0 0 0 68 2 0 0 20 0 1 0 654633355 19054592 4426 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134600794 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/23904/statm: 4652 4426 77 177 0 4474 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 18608

[startup+1.5022 s]
/proc/loadavg: 14.04 14.50 12.96 2/185 23905
/proc/meminfo: memFree=19026668/36427776 swapFree=4780/25684
[pid=23904] ppid=23902 vsize=18764 CPUtime=1.5
/proc/23904/stat : 23904 (ttsth-5-0) R 23902 23904 15497 0 -1 4202496 4730 0 0 0 148 2 0 0 20 0 1 0 654633355 19214336 4500 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134555272 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/23904/statm: 4691 4500 77 177 0 4513 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 18764

[startup+3.10232 s]
/proc/loadavg: 14.04 14.50 12.96 2/185 23905
/proc/meminfo: memFree=19026532/36427776 swapFree=4700/26500
[pid=23904] ppid=23902 vsize=19744 CPUtime=3.1
/proc/23904/stat : 23904 (ttsth-5-0) R 23902 23904 15497 0 -1 4202496 4959 0 0 0 308 2 0 0 20 0 1 0 654633355 20217856 4729 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134550999 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/23904/statm: 4936 4729 77 177 0 4758 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 19744

[startup+6.3059 s]
/proc/loadavg: 13.00 14.28 12.89 16/201 23921
/proc/meminfo: memFree=18660584/36427776 swapFree=4692/395136
[pid=23904] ppid=23902 vsize=521224 CPUtime=31.59
/proc/23904/stat : 23904 (ttsth-5-0) S 23902 23904 15497 0 -1 4202496 99953 0 0 0 982 2177 0 0 20 0 17 0 654633355 533733376 99537 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/23904/statm: 130306 99537 95 177 0 130128 0
[pid=23904/tid=23906] ppid=23902 vsize=521224 CPUtime=1.7
/proc/23904/task/23906/stat : 23906 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 1248 0 0 0 162 8 0 0 20 0 17 0 654633811 533733376 99537 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134681775 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23904/tid=23907] ppid=23902 vsize=521224 CPUtime=1.68
/proc/23904/task/23907/stat : 23907 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 513 0 0 0 28 140 0 0 20 0 17 0 654633811 533733376 99537 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23904/tid=23908] ppid=23902 vsize=521224 CPUtime=1.7
/proc/23904/task/23908/stat : 23908 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 402 0 0 0 26 144 0 0 20 0 17 0 654633811 533733376 99537 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23904/tid=23909] ppid=23902 vsize=521224 CPUtime=1.68
/proc/23904/task/23909/stat : 23909 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 350 0 0 0 28 140 0 0 20 0 17 0 654633811 533733376 99537 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=23904/tid=23910] ppid=23902 vsize=521224 CPUtime=1.68
/proc/23904/task/23910/stat : 23910 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 433 0 0 0 24 144 0 0 20 0 17 0 654633811 533733376 99537 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23904/tid=23911] ppid=23902 vsize=521224 CPUtime=1.68
/proc/23904/task/23911/stat : 23911 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 330 0 0 0 26 142 0 0 20 0 17 0 654633811 533733376 99537 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23904/tid=23912] ppid=23902 vsize=521224 CPUtime=1.68
/proc/23904/task/23912/stat : 23912 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 459 0 0 0 22 146 0 0 20 0 17 0 654633811 533733376 99537 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23904/tid=23913] ppid=23902 vsize=521224 CPUtime=1.68
/proc/23904/task/23913/stat : 23913 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 333 0 0 0 26 142 0 0 20 0 17 0 654633811 533733376 99537 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23904/tid=23914] ppid=23902 vsize=521224 CPUtime=1.68
/proc/23904/task/23914/stat : 23914 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 524 0 0 0 22 146 0 0 20 0 17 0 654633811 533733376 99537 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23904/tid=23915] ppid=23902 vsize=521224 CPUtime=1.68
/proc/23904/task/23915/stat : 23915 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 382 0 0 0 26 142 0 0 20 0 17 0 654633812 533733376 99537 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23904/tid=23916] ppid=23902 vsize=521224 CPUtime=1.68
/proc/23904/task/23916/stat : 23916 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 485 0 0 0 20 148 0 0 20 0 17 0 654633812 533733376 99537 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=23904/tid=23917] ppid=23902 vsize=521224 CPUtime=1.68
/proc/23904/task/23917/stat : 23917 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 231 0 0 0 30 138 0 0 20 0 17 0 654633812 533733376 99537 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23904/tid=23918] ppid=23902 vsize=521224 CPUtime=1.68
/proc/23904/task/23918/stat : 23918 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 302 0 0 0 30 138 0 0 20 0 17 0 654633812 533733376 99537 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23904/tid=23919] ppid=23902 vsize=521224 CPUtime=1.64
/proc/23904/task/23919/stat : 23919 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 511 0 0 0 24 140 0 0 20 0 17 0 654633812 533733376 99537 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23904/tid=23920] ppid=23902 vsize=521224 CPUtime=1.68
/proc/23904/task/23920/stat : 23920 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 358 0 0 0 30 138 0 0 20 0 17 0 654633813 533733376 99537 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23904/tid=23921] ppid=23902 vsize=521224 CPUtime=1.68
/proc/23904/task/23921/stat : 23921 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 401 0 0 0 28 140 0 0 20 0 17 0 654633813 533733376 99537 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 31.59
Current children cumulated vsize (KiB) 521224

[startup+12.7033 s]
/proc/loadavg: 13.24 14.31 12.91 17/201 23921
/proc/meminfo: memFree=18577808/36427776 swapFree=4692/477476
[pid=23904] ppid=23902 vsize=606300 CPUtime=131.77
/proc/23904/stat : 23904 (ttsth-5-0) S 23902 23904 15497 0 -1 4202496 121222 0 0 0 3821 9356 0 0 20 0 17 0 654633355 620851200 120806 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/23904/statm: 151575 120806 95 177 0 151397 0
[pid=23904/tid=23906] ppid=23902 vsize=606300 CPUtime=8.08
/proc/23904/task/23906/stat : 23906 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 9169 0 0 0 788 20 0 0 20 0 17 0 654633811 620851200 120806 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134592468 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23904/tid=23907] ppid=23902 vsize=606300 CPUtime=7.94
/proc/23904/task/23907/stat : 23907 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 1191 0 0 0 188 606 0 0 20 0 17 0 654633811 620851200 120806 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23904/tid=23908] ppid=23902 vsize=606300 CPUtime=7.94
/proc/23904/task/23908/stat : 23908 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 1195 0 0 0 166 628 0 0 20 0 17 0 654633811 620851200 120806 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23904/tid=23909] ppid=23902 vsize=606300 CPUtime=7.96
/proc/23904/task/23909/stat : 23909 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 1744 0 0 0 176 620 0 0 20 0 17 0 654633811 620851200 120806 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=23904/tid=23910] ppid=23902 vsize=606300 CPUtime=7.96
/proc/23904/task/23910/stat : 23910 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 1400 0 0 0 170 626 0 0 20 0 17 0 654633811 620851200 120806 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23904/tid=23911] ppid=23902 vsize=606300 CPUtime=7.94
/proc/23904/task/23911/stat : 23911 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 1451 0 0 0 172 622 0 0 20 0 17 0 654633811 620851200 120806 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23904/tid=23912] ppid=23902 vsize=606300 CPUtime=7.94
/proc/23904/task/23912/stat : 23912 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 1023 0 0 0 156 638 0 0 20 0 17 0 654633811 620851200 120806 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134732535 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23904/tid=23913] ppid=23902 vsize=606300 CPUtime=7.94
/proc/23904/task/23913/stat : 23913 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 1613 0 0 0 192 602 0 0 20 0 17 0 654633811 620851200 120806 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23904/tid=23914] ppid=23902 vsize=606300 CPUtime=7.94
/proc/23904/task/23914/stat : 23914 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 774 0 0 0 156 638 0 0 20 0 17 0 654633811 620851200 120806 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23904/tid=23915] ppid=23902 vsize=606300 CPUtime=7.96
/proc/23904/task/23915/stat : 23915 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 803 0 0 0 162 634 0 0 20 0 17 0 654633812 620851200 120806 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23904/tid=23916] ppid=23902 vsize=606300 CPUtime=7.96
/proc/23904/task/23916/stat : 23916 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 1436 0 0 0 168 628 0 0 20 0 17 0 654633812 620851200 120806 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134592468 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=23904/tid=23917] ppid=23902 vsize=606300 CPUtime=7.96
/proc/23904/task/23917/stat : 23917 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 1289 0 0 0 186 610 0 0 20 0 17 0 654633812 620851200 120806 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23904/tid=23918] ppid=23902 vsize=606300 CPUtime=7.94
/proc/23904/task/23918/stat : 23918 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 991 0 0 0 164 630 0 0 20 0 17 0 654633812 620851200 120807 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134590166 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23904/tid=23919] ppid=23902 vsize=606300 CPUtime=7.76
/proc/23904/task/23919/stat : 23919 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 1505 0 0 0 172 604 0 0 20 0 17 0 654633812 620851200 120807 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23904/tid=23920] ppid=23902 vsize=606300 CPUtime=7.94
/proc/23904/task/23920/stat : 23920 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 1536 0 0 0 198 596 0 0 20 0 17 0 654633813 620851200 120807 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23904/tid=23921] ppid=23902 vsize=606300 CPUtime=7.94
/proc/23904/task/23921/stat : 23921 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 1411 0 0 0 178 616 0 0 20 0 17 0 654633813 620851200 120807 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134589526 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 131.77
Current children cumulated vsize (KiB) 606300

[startup+25.5039 s]
/proc/loadavg: 13.85 14.39 12.96 17/201 23921
/proc/meminfo: memFree=18257064/36427776 swapFree=4692/797844
[pid=23904] ppid=23902 vsize=935788 CPUtime=331.75
/proc/23904/stat : 23904 (ttsth-5-0) S 23902 23904 15497 0 -1 4202496 199443 0 0 0 13095 20080 0 0 20 0 17 0 654633355 958246912 199028 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/23904/statm: 233947 199028 95 177 0 233769 0
[pid=23904/tid=23906] ppid=23902 vsize=935788 CPUtime=20.88
/proc/23904/task/23906/stat : 23906 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 25292 0 0 0 2050 38 0 0 20 0 17 0 654633811 958246912 199028 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134591171 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23904/tid=23907] ppid=23902 vsize=935788 CPUtime=20.48
/proc/23904/task/23907/stat : 23907 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 6447 0 0 0 752 1296 0 0 20 0 17 0 654633811 958246912 199028 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23904/tid=23908] ppid=23902 vsize=935788 CPUtime=20.54
/proc/23904/task/23908/stat : 23908 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 7374 0 0 0 828 1226 0 0 20 0 17 0 654633811 958246912 199029 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23904/tid=23909] ppid=23902 vsize=935788 CPUtime=20.52
/proc/23904/task/23909/stat : 23909 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 8618 0 0 0 798 1254 0 0 20 0 17 0 654633811 958246912 199029 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=23904/tid=23910] ppid=23902 vsize=935788 CPUtime=20.54
/proc/23904/task/23910/stat : 23910 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 7841 0 0 0 836 1218 0 0 20 0 17 0 654633811 958246912 199029 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23904/tid=23911] ppid=23902 vsize=935788 CPUtime=20.38
/proc/23904/task/23911/stat : 23911 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 2856 0 0 0 574 1464 0 0 20 0 17 0 654633811 958246912 199029 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134593204 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23904/tid=23912] ppid=23902 vsize=935788 CPUtime=20.4
/proc/23904/task/23912/stat : 23912 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 4644 0 0 0 698 1342 0 0 20 0 17 0 654633811 958246912 199029 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23904/tid=23913] ppid=23902 vsize=935788 CPUtime=20.44
/proc/23904/task/23913/stat : 23913 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 6912 0 0 0 796 1248 0 0 20 0 17 0 654633811 958246912 199029 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23904/tid=23914] ppid=23902 vsize=935788 CPUtime=20.46
/proc/23904/task/23914/stat : 23914 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 5135 0 0 0 724 1322 0 0 20 0 17 0 654633811 958246912 199029 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23904/tid=23915] ppid=23902 vsize=935788 CPUtime=20.36
/proc/23904/task/23915/stat : 23915 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 2668 0 0 0 592 1444 0 0 20 0 17 0 654633812 958246912 199029 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134680322 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23904/tid=23916] ppid=23902 vsize=935788 CPUtime=20.42
/proc/23904/task/23916/stat : 23916 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 4432 0 0 0 648 1394 0 0 20 0 17 0 654633812 958246912 199029 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134758964 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=23904/tid=23917] ppid=23902 vsize=935788 CPUtime=20.5
/proc/23904/task/23917/stat : 23917 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 6892 0 0 0 778 1272 0 0 20 0 17 0 654633812 958246912 199030 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23904/tid=23918] ppid=23902 vsize=935788 CPUtime=20.36
/proc/23904/task/23918/stat : 23918 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 3625 0 0 0 608 1428 0 0 20 0 17 0 654633812 958246912 199030 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134590938 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23904/tid=23919] ppid=23902 vsize=935788 CPUtime=20.08
/proc/23904/task/23919/stat : 23919 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 7640 0 0 0 760 1248 0 0 20 0 17 0 654633812 958246912 199030 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23904/tid=23920] ppid=23902 vsize=935788 CPUtime=20.28
/proc/23904/task/23920/stat : 23920 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 2643 0 0 0 584 1444 0 0 20 0 17 0 654633813 958246912 199030 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23904/tid=23921] ppid=23902 vsize=935788 CPUtime=20.4
/proc/23904/task/23921/stat : 23921 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 3735 0 0 0 636 1404 0 0 20 0 17 0 654633813 958246912 199030 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 331.75
Current children cumulated vsize (KiB) 935788

[startup+51.1056 s]
/proc/loadavg: 14.50 14.50 13.03 17/201 23921
/proc/meminfo: memFree=17877536/36427776 swapFree=4692/1175644
[pid=23904] ppid=23902 vsize=1333936 CPUtime=732.7
/proc/23904/stat : 23904 (ttsth-5-0) S 23902 23904 15497 0 -1 4202496 293789 0 0 0 30581 42689 0 0 20 0 17 0 654633355 1365950464 293373 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/23904/statm: 333484 293373 95 177 0 333306 0
[pid=23904/tid=23906] ppid=23902 vsize=1333936 CPUtime=46.45
/proc/23904/task/23906/stat : 23906 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 30432 0 0 0 4597 48 0 0 20 0 17 0 654633811 1365950464 293373 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134549885 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23904/tid=23907] ppid=23902 vsize=1333936 CPUtime=45.48
/proc/23904/task/23907/stat : 23907 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 10378 0 0 0 1674 2874 0 0 20 0 17 0 654633811 1365950464 293373 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23904/tid=23908] ppid=23902 vsize=1333936 CPUtime=45.68
/proc/23904/task/23908/stat : 23908 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 13071 0 0 0 1878 2690 0 0 20 0 17 0 654633811 1365950464 293373 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23904/tid=23909] ppid=23902 vsize=1333936 CPUtime=45.64
/proc/23904/task/23909/stat : 23909 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 16457 0 0 0 1794 2770 0 0 20 0 17 0 654633811 1365950464 293373 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=23904/tid=23910] ppid=23902 vsize=1333936 CPUtime=45.72
/proc/23904/task/23910/stat : 23910 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 19255 0 0 0 2090 2482 0 0 20 0 17 0 654633811 1365950464 293373 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134749343 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23904/tid=23911] ppid=23902 vsize=1333936 CPUtime=45.46
/proc/23904/task/23911/stat : 23911 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 7250 0 0 0 1524 3022 0 0 20 0 17 0 654633811 1365950464 293373 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23904/tid=23912] ppid=23902 vsize=1333936 CPUtime=45.3
/proc/23904/task/23912/stat : 23912 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 8140 0 0 0 1576 2954 0 0 20 0 17 0 654633811 1365950464 293373 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23904/tid=23913] ppid=23902 vsize=1333936 CPUtime=45.6
/proc/23904/task/23913/stat : 23913 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 18289 0 0 0 1914 2646 0 0 20 0 17 0 654633811 1365950464 293373 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23904/tid=23914] ppid=23902 vsize=1333936 CPUtime=45.38
/proc/23904/task/23914/stat : 23914 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 8232 0 0 0 1590 2948 0 0 20 0 17 0 654633811 1365950464 293374 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23904/tid=23915] ppid=23902 vsize=1333936 CPUtime=45.32
/proc/23904/task/23915/stat : 23915 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 5940 0 0 0 1534 2998 0 0 20 0 17 0 654633812 1365950464 293374 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134681775 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23904/tid=23916] ppid=23902 vsize=1333936 CPUtime=45.54
/proc/23904/task/23916/stat : 23916 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 12797 0 0 0 1702 2852 0 0 20 0 17 0 654633812 1365950464 293374 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=23904/tid=23917] ppid=23902 vsize=1333936 CPUtime=45.5
/proc/23904/task/23917/stat : 23917 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 9579 0 0 0 1710 2840 0 0 20 0 17 0 654633812 1365950464 293374 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23904/tid=23918] ppid=23902 vsize=1333936 CPUtime=45.36
/proc/23904/task/23918/stat : 23918 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 8241 0 0 0 1532 3004 0 0 20 0 17 0 654633812 1365950464 293374 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23904/tid=23919] ppid=23902 vsize=1333936 CPUtime=44.56
/proc/23904/task/23919/stat : 23919 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 9676 0 0 0 1640 2816 0 0 20 0 17 0 654633812 1365950464 293375 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134549877 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23904/tid=23920] ppid=23902 vsize=1333936 CPUtime=45.4
/proc/23904/task/23920/stat : 23920 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 8430 0 0 0 1626 2914 0 0 20 0 17 0 654633813 1365950464 293375 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23904/tid=23921] ppid=23902 vsize=1333936 CPUtime=45.58
/proc/23904/task/23921/stat : 23921 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 14931 0 0 0 1768 2790 0 0 20 0 17 0 654633813 1365950464 293375 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 732.7
Current children cumulated vsize (KiB) 1333936



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+102.314 s]
/proc/loadavg: 15.31 14.71 13.18 17/201 23921
/proc/meminfo: memFree=17151476/36427776 swapFree=4692/1901016
[pid=23904] ppid=23902 vsize=2096572 CPUtime=1534.27
/proc/23904/stat : 23904 (ttsth-5-0) S 23902 23904 15497 0 -1 4202496 473608 0 0 0 69653 83774 0 0 20 0 17 0 654633355 2146889728 473192 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/23904/statm: 524143 473192 95 177 0 523965 0
[pid=23904/tid=23906] ppid=23902 vsize=2096572 CPUtime=97.66
/proc/23904/task/23906/stat : 23906 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 46404 0 0 0 9698 68 0 0 20 0 17 0 654633811 2146889728 473193 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134751534 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23904/tid=23907] ppid=23902 vsize=2096572 CPUtime=95.58
/proc/23904/task/23907/stat : 23907 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 20338 0 0 0 3847 5711 0 0 20 0 17 0 654633811 2146889728 473193 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134592496 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23904/tid=23908] ppid=23902 vsize=2096572 CPUtime=95.98
/proc/23904/task/23908/stat : 23908 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 27976 0 0 0 4261 5337 0 0 20 0 17 0 654633811 2146889728 473193 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23904/tid=23909] ppid=23902 vsize=2096572 CPUtime=95.86
/proc/23904/task/23909/stat : 23909 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 28826 0 0 0 4051 5535 0 0 20 0 17 0 654633811 2146889728 473193 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134588414 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=23904/tid=23910] ppid=23902 vsize=2096572 CPUtime=96.3
/proc/23904/task/23910/stat : 23910 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 45817 0 0 0 4913 4717 0 0 20 0 17 0 654633811 2146889728 473193 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23904/tid=23911] ppid=23902 vsize=2096572 CPUtime=95.82
/proc/23904/task/23911/stat : 23911 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 24238 0 0 0 3971 5611 0 0 20 0 17 0 654633811 2146889728 473193 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23904/tid=23912] ppid=23902 vsize=2096572 CPUtime=95.01
/proc/23904/task/23912/stat : 23912 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 11966 0 0 0 3595 5906 0 0 20 0 17 0 654633811 2146889728 473193 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23904/tid=23913] ppid=23902 vsize=2096572 CPUtime=95.39
/proc/23904/task/23913/stat : 23913 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 24179 0 0 0 3937 5602 0 0 20 0 17 0 654633811 2146889728 473194 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23904/tid=23914] ppid=23902 vsize=2096572 CPUtime=95.18
/proc/23904/task/23914/stat : 23914 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 11050 0 0 0 3676 5842 0 0 20 0 17 0 654633811 2146889728 473194 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23904/tid=23915] ppid=23902 vsize=2096572 CPUtime=95.31
/proc/23904/task/23915/stat : 23915 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 14455 0 0 0 3746 5785 0 0 20 0 17 0 654633812 2146889728 473194 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23904/tid=23916] ppid=23902 vsize=2096572 CPUtime=95.44
/proc/23904/task/23916/stat : 23916 (ttsth-5-0) S 23902 23904 15497 0 -1 4202560 20967 0 0 0 3813 5731 0 0 20 0 17 0 654633812 2146889728 473194 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=23904/tid=23917] ppid=23902 vsize=2096572 CPUtime=95.73
/proc/23904/task/23917/stat : 23917 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 23917 0 0 0 4192 5381 0 0 20 0 17 0 654633812 2146889728 473194 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23904/tid=23918] ppid=23902 vsize=2096572 CPUtime=95.51
/proc/23904/task/23918/stat : 23918 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 22181 0 0 0 3810 5741 0 0 20 0 17 0 654633812 2146889728 473194 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23904/tid=23919] ppid=23902 vsize=2096572 CPUtime=93.48
/proc/23904/task/23919/stat : 23919 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 14400 0 0 0 3748 5600 0 0 20 0 17 0 654633812 2146889728 473194 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23904/tid=23920] ppid=23902 vsize=2096572 CPUtime=95.71
/proc/23904/task/23920/stat : 23920 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 19597 0 0 0 4060 5511 0 0 20 0 17 0 654633813 2146889728 473195 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23904/tid=23921] ppid=23902 vsize=2096572 CPUtime=95.69
/proc/23904/task/23921/stat : 23921 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 24607 0 0 0 3909 5660 0 0 20 0 17 0 654633813 2146889728 473195 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1534.27
Current children cumulated vsize (KiB) 2096572

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

[startup+102.314 s]
/proc/loadavg: 15.31 14.71 13.18 17/201 23921
/proc/meminfo: memFree=17151476/36427776 swapFree=4692/1901016
[pid=23904] ppid=23902 vsize=2096572 CPUtime=1534.27
/proc/23904/stat : 23904 (ttsth-5-0) S 23902 23904 15497 0 -1 4202496 473608 0 0 0 69653 83774 0 0 20 0 17 0 654633355 2146889728 473192 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/23904/statm: 524143 473192 95 177 0 523965 0
[pid=23904/tid=23906] ppid=23902 vsize=2096572 CPUtime=97.66
/proc/23904/task/23906/stat : 23906 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 46404 0 0 0 9698 68 0 0 20 0 17 0 654633811 2146889728 473193 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134751534 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23904/tid=23907] ppid=23902 vsize=2096572 CPUtime=95.58
/proc/23904/task/23907/stat : 23907 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 20338 0 0 0 3847 5711 0 0 20 0 17 0 654633811 2146889728 473193 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134592496 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23904/tid=23908] ppid=23902 vsize=2096572 CPUtime=95.98
/proc/23904/task/23908/stat : 23908 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 27976 0 0 0 4261 5337 0 0 20 0 17 0 654633811 2146889728 473193 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23904/tid=23909] ppid=23902 vsize=2096572 CPUtime=95.86
/proc/23904/task/23909/stat : 23909 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 28826 0 0 0 4051 5535 0 0 20 0 17 0 654633811 2146889728 473193 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134588414 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=23904/tid=23910] ppid=23902 vsize=2096572 CPUtime=96.3
/proc/23904/task/23910/stat : 23910 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 45817 0 0 0 4913 4717 0 0 20 0 17 0 654633811 2146889728 473193 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23904/tid=23911] ppid=23902 vsize=2096572 CPUtime=95.82
/proc/23904/task/23911/stat : 23911 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 24238 0 0 0 3971 5611 0 0 20 0 17 0 654633811 2146889728 473193 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23904/tid=23912] ppid=23902 vsize=2096572 CPUtime=95.01
/proc/23904/task/23912/stat : 23912 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 11966 0 0 0 3595 5906 0 0 20 0 17 0 654633811 2146889728 473193 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23904/tid=23913] ppid=23902 vsize=2096572 CPUtime=95.39
/proc/23904/task/23913/stat : 23913 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 24179 0 0 0 3937 5602 0 0 20 0 17 0 654633811 2146889728 473194 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23904/tid=23914] ppid=23902 vsize=2096572 CPUtime=95.18
/proc/23904/task/23914/stat : 23914 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 11050 0 0 0 3676 5842 0 0 20 0 17 0 654633811 2146889728 473194 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23904/tid=23915] ppid=23902 vsize=2096572 CPUtime=95.31
/proc/23904/task/23915/stat : 23915 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 14455 0 0 0 3746 5785 0 0 20 0 17 0 654633812 2146889728 473194 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23904/tid=23916] ppid=23902 vsize=2096572 CPUtime=95.44
/proc/23904/task/23916/stat : 23916 (ttsth-5-0) S 23902 23904 15497 0 -1 4202560 20967 0 0 0 3813 5731 0 0 20 0 17 0 654633812 2146889728 473194 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=23904/tid=23917] ppid=23902 vsize=2096572 CPUtime=95.73
/proc/23904/task/23917/stat : 23917 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 23917 0 0 0 4192 5381 0 0 20 0 17 0 654633812 2146889728 473194 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23904/tid=23918] ppid=23902 vsize=2096572 CPUtime=95.51
/proc/23904/task/23918/stat : 23918 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 22181 0 0 0 3810 5741 0 0 20 0 17 0 654633812 2146889728 473194 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23904/tid=23919] ppid=23902 vsize=2096572 CPUtime=93.48
/proc/23904/task/23919/stat : 23919 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 14400 0 0 0 3748 5600 0 0 20 0 17 0 654633812 2146889728 473194 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23904/tid=23920] ppid=23902 vsize=2096572 CPUtime=95.71
/proc/23904/task/23920/stat : 23920 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 19597 0 0 0 4060 5511 0 0 20 0 17 0 654633813 2146889728 473195 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23904/tid=23921] ppid=23902 vsize=2096572 CPUtime=95.69
/proc/23904/task/23921/stat : 23921 (ttsth-5-0) R 23902 23904 15497 0 -1 4202560 24607 0 0 0 3909 5660 0 0 20 0 17 0 654633813 2146889728 473195 18446744073709551615 134512640 135237372 4288256112 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1534.27
Current children cumulated vsize (KiB) 2096572

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

[startup+102.427 s]
/proc/loadavg: 15.31 14.71 13.18 17/201 23921
/proc/meminfo: memFree=17151476/36427776 swapFree=4692/1901016
[pid=23904] ppid=23902 vsize=0 CPUtime=1534.51
/proc/23904/stat : 23904 (ttsth-5-0) Z 23902 23904 15497 0 -1 4203532 473624 0 0 0 69657 83794 0 0 20 0 2 0 654633355 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/23904/statm: 0 0 0 0 0 0 0
[pid=23904/tid=23921] ppid=23902 vsize=0 CPUtime=95.77
/proc/23904/task/23921/stat : 23921 (ttsth-5-0) R 23902 23904 15497 0 -1 4203588 24607 0 0 0 3909 5668 0 0 20 0 2 0 654633813 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1534.51
Current children cumulated vsize (KiB) 0

[startup+102.503 s]
/proc/loadavg: 15.31 14.71 13.18 17/201 23921
/proc/meminfo: memFree=17151476/36427776 swapFree=4692/1901016
[pid=23904] ppid=23902 vsize=0 CPUtime=1534.59
/proc/23904/stat : 23904 (ttsth-5-0) Z 23902 23904 15497 0 -1 4203532 473624 0 0 0 69657 83802 0 0 20 0 2 0 654633355 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/23904/statm: 0 0 0 0 0 0 0
[pid=23904/tid=23921] ppid=23902 vsize=0 CPUtime=95.85
/proc/23904/task/23921/stat : 23921 (ttsth-5-0) R 23902 23904 15497 0 -1 4203588 24607 0 0 0 3909 5676 0 0 20 0 2 0 654633813 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1534.59
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 102.507
CPU time (s): 1534.6
CPU user time (s): 696.584
CPU system time (s): 838.02
CPU usage (%): 1497.07
Max. virtual memory (cumulated for all children) (KiB): 2096572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 696.584
system time used= 838.02
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 473624
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= 174356
involuntary context switches= 3302

runsolver used 0.504031 second user time and 1.5961 second system time

The end

Launcher Data

Begin job on xenhost3-49 at 2009-06-14 06:21:10
IDJOB=1779435
IDBENCH=70853
IDSOLVER=634
FILE ID=xenhost3-49/1779435-1244953270
PBS_JOBID=
Free space on /tmp= 7023 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-20-s100.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779435-1244953270/watcher-1779435-1244953270 -o /tmp/evaluation-result-1779435-1244953270/solver-1779435-1244953270 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779435-1244953270.cnf

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

MD5SUM BENCH= 5d7745a7593199a47cd1accba5810ed0
RANDOM SEED= 1570538814

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:      19044280 kB
Buffers:        482616 kB
Cached:       14118120 kB
SwapCached:          0 kB
Active:        4128804 kB
Inactive:     10480220 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2016 kB
Writeback:           0 kB
AnonPages:        8268 kB
Mapped:           4312 kB
Slab:           721596 kB
SReclaimable:   694772 kB
SUnreclaim:      26824 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29616 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 06:22:54