Trace number 1779450

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) 1633.83 108.497

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-14-s100.cnf
MD5SUM0395bced0950ab7e0c6e0bf7b855fed1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.36
Satisfiable
(Un)Satisfiability was proved
Number of variables31229
Number of clauses93855
Sum of the clauses size220949
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 260488
Number of clauses of size 333303
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-1779450-1244953374.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 = 31229
0.10/0.13	c Clauses = 93855
0.10/0.13	c Literals = 220949
0.10/0.13	c Reduced size:
0.10/0.13	c Variables = 31229
0.10/0.13	c Clauses = 93371
0.10/0.13	c Literals = 219665
0.10/0.13	c a2
0.20/0.24	c a1
3.48/3.55	c Independent sub-problems = 1
3.48/3.55	c Sub-problem with 31081 variables and 93371 clauses
3.48/3.55	c using permutation method 4
3.48/3.55	c count = 1
3.48/3.55	c Ordering finished 3.520 seconds
3.48/3.55	c mapped 3.540 seconds
3.48/3.55	c permuted 3.540 seconds
3.48/3.55	c about to sort
3.48/3.57	c sorted
4.50/4.51	c clauses now 93371
4.50/4.51	c init finished 4.160 seconds
4.50/4.51	c tree built 4.490 seconds
4.50/4.51	c 
4.50/4.51	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
4.50/4.51	c ---------------------------------|----------------------------------|------------------------------------------------------
4.50/4.51	c ................................ | ..........                       |                        4.5           0.0             
4.50/4.51	c ................................ | ..........                     1 |                        4.5           0.2             
4.50/4.51	c ................................ | ..........                     2 |                        4.5           0.4            2
4.50/4.51	c ................................ | ..........                     3 |                        4.5           0.7            2
4.50/4.51	c ................................ | ..........                     4 |                        4.5           0.9            2
4.50/4.51	c ................................ | ..........                     5 |                        4.5           1.1            2
4.50/4.52	c ................................ | ..........                  1000 | 12                     4.6         217.4          418
318.42/24.60	c ................................ | ..........               1178000 | 31819                200.2        5883.8      9620958
596.43/42.24	c ................................ | ..........               1609000 | 46854                400.2        4020.3     25316980
850.83/58.56	c ................................ | ..........               1932000 | 57766                600.5        3217.2     40193156
1091.91/73.91	c ................................ | ..........               2213000 | 66152                800.6        2764.1     53867052
1317.91/88.38	c ................................ | *.........               2612000 | 77546               1000.3        2611.2     67703382
1541.54/102.59	c ................................ | *.........               2903000 | 86834               1201.0        2417.1     82371700

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-1779450-1244953374/watcher-1779450-1244953374 -o /tmp/evaluation-result-1779450-1244953374/solver-1779450-1244953374 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779450-1244953374.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.08 14.47 13.11 2/184 23959
/proc/meminfo: memFree=19045012/36427776 swapFree=3648/7600
[pid=23959] ppid=23957 vsize=1540 CPUtime=0
/proc/23959/stat : 23959 (ttsth-5-0) R 23957 23959 15497 0 -1 4202496 275 0 0 0 0 0 0 0 20 0 1 0 654643806 1576960 231 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134732614 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/23959/statm: 385 232 74 177 0 207 0

[startup+0.059224 s]
/proc/loadavg: 14.08 14.47 13.11 2/184 23959
/proc/meminfo: memFree=19045012/36427776 swapFree=3648/7600
[pid=23959] ppid=23957 vsize=4808 CPUtime=0.04
/proc/23959/stat : 23959 (ttsth-5-0) R 23957 23959 15497 0 -1 4202496 1085 0 0 0 4 0 0 0 20 0 1 0 654643806 4923392 1041 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134639534 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/23959/statm: 1235 1042 75 177 0 1057 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4808

[startup+0.103246 s]
/proc/loadavg: 14.08 14.47 13.11 2/184 23959
/proc/meminfo: memFree=19045012/36427776 swapFree=3648/7600
[pid=23959] ppid=23957 vsize=7788 CPUtime=0.1
/proc/23959/stat : 23959 (ttsth-5-0) R 23957 23959 15497 0 -1 4202496 1753 0 0 0 10 0 0 0 20 0 1 0 654643806 7974912 1709 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134534553 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/23959/statm: 1947 1709 75 177 0 1769 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7788

[startup+0.303293 s]
/proc/loadavg: 14.08 14.47 13.11 2/184 23959
/proc/meminfo: memFree=19045012/36427776 swapFree=3648/7600
[pid=23959] ppid=23957 vsize=14884 CPUtime=0.3
/proc/23959/stat : 23959 (ttsth-5-0) R 23957 23959 15497 0 -1 4202496 3751 0 0 0 28 2 0 0 20 0 1 0 654643806 15241216 3522 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134555272 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/23959/statm: 3721 3524 77 177 0 3543 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 14884

[startup+0.70326 s]
/proc/loadavg: 14.08 14.47 13.11 2/184 23959
/proc/meminfo: memFree=19045012/36427776 swapFree=3648/7600
[pid=23959] ppid=23957 vsize=18320 CPUtime=0.68
/proc/23959/stat : 23959 (ttsth-5-0) R 23957 23959 15497 0 -1 4202496 4610 0 0 0 66 2 0 0 20 0 1 0 654643806 18759680 4381 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134732614 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/23959/statm: 4580 4381 77 177 0 4402 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 18320

[startup+1.50333 s]
/proc/loadavg: 14.08 14.47 13.11 2/185 23960
/proc/meminfo: memFree=19027024/36427776 swapFree=3644/25788
[pid=23959] ppid=23957 vsize=18612 CPUtime=1.48
/proc/23959/stat : 23959 (ttsth-5-0) R 23957 23959 15497 0 -1 4202496 4682 0 0 0 146 2 0 0 20 0 1 0 654643806 19058688 4453 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134555272 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/23959/statm: 4653 4453 77 177 0 4475 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 18612

[startup+3.1035 s]
/proc/loadavg: 14.08 14.47 13.11 2/185 23960
/proc/meminfo: memFree=19025460/36427776 swapFree=4620/26664
[pid=23959] ppid=23957 vsize=19592 CPUtime=3.08
/proc/23959/stat : 23959 (ttsth-5-0) R 23957 23959 15497 0 -1 4202496 4919 0 0 0 306 2 0 0 20 0 1 0 654643806 20062208 4690 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134732614 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/23959/statm: 4898 4690 77 177 0 4720 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19592

[startup+6.30433 s]
/proc/loadavg: 13.03 14.25 13.04 17/201 23976
/proc/meminfo: memFree=18665032/36427776 swapFree=4692/391452
[pid=23959] ppid=23957 vsize=518216 CPUtime=32.46
/proc/23959/stat : 23959 (ttsth-5-0) S 23957 23959 15497 0 -1 4202496 98864 0 0 0 1001 2245 0 0 20 0 17 0 654643806 530653184 98452 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23959/statm: 129554 98452 95 177 0 129376 0
[pid=23959/tid=23961] ppid=23957 vsize=518216 CPUtime=1.76
/proc/23959/task/23961/stat : 23961 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 1685 0 0 0 170 6 0 0 20 0 17 0 654644257 530653184 98452 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134680467 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23959/tid=23962] ppid=23957 vsize=518216 CPUtime=1.74
/proc/23959/task/23962/stat : 23962 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 272 0 0 0 30 144 0 0 20 0 17 0 654644257 530653184 98452 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23959/tid=23963] ppid=23957 vsize=518216 CPUtime=1.74
/proc/23959/task/23963/stat : 23963 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 457 0 0 0 34 140 0 0 20 0 17 0 654644257 530653184 98452 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23959/tid=23964] ppid=23957 vsize=518216 CPUtime=1.74
/proc/23959/task/23964/stat : 23964 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 334 0 0 0 22 152 0 0 20 0 17 0 654644257 530653184 98452 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23959/tid=23965] ppid=23957 vsize=518216 CPUtime=1.72
/proc/23959/task/23965/stat : 23965 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 472 0 0 0 30 142 0 0 20 0 17 0 654644257 530653184 98452 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=23959/tid=23966] ppid=23957 vsize=518216 CPUtime=1.74
/proc/23959/task/23966/stat : 23966 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 260 0 0 0 26 148 0 0 20 0 17 0 654644257 530653184 98452 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23959/tid=23967] ppid=23957 vsize=518216 CPUtime=1.76
/proc/23959/task/23967/stat : 23967 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 399 0 0 0 28 148 0 0 20 0 17 0 654644257 530653184 98452 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23959/tid=23968] ppid=23957 vsize=518216 CPUtime=1.74
/proc/23959/task/23968/stat : 23968 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 421 0 0 0 30 144 0 0 20 0 17 0 654644257 530653184 98452 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23959/tid=23969] ppid=23957 vsize=518216 CPUtime=1.74
/proc/23959/task/23969/stat : 23969 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 330 0 0 0 30 144 0 0 20 0 17 0 654644257 530653184 98452 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=23959/tid=23970] ppid=23957 vsize=518216 CPUtime=1.74
/proc/23959/task/23970/stat : 23970 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 382 0 0 0 26 148 0 0 20 0 17 0 654644257 530653184 98452 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23959/tid=23971] ppid=23957 vsize=518216 CPUtime=1.74
/proc/23959/task/23971/stat : 23971 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 368 0 0 0 26 148 0 0 20 0 17 0 654644257 530653184 98452 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23959/tid=23972] ppid=23957 vsize=518216 CPUtime=1.74
/proc/23959/task/23972/stat : 23972 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 278 0 0 0 24 150 0 0 20 0 17 0 654644257 530653184 98452 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23959/tid=23973] ppid=23957 vsize=518216 CPUtime=1.74
/proc/23959/task/23973/stat : 23973 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 342 0 0 0 30 144 0 0 20 0 17 0 654644258 530653184 98452 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23959/tid=23974] ppid=23957 vsize=518216 CPUtime=1.72
/proc/23959/task/23974/stat : 23974 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 381 0 0 0 26 146 0 0 20 0 17 0 654644258 530653184 98452 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23959/tid=23975] ppid=23957 vsize=518216 CPUtime=1.74
/proc/23959/task/23975/stat : 23975 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 255 0 0 0 22 152 0 0 20 0 17 0 654644258 530653184 98452 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23959/tid=23976] ppid=23957 vsize=518216 CPUtime=1.74
/proc/23959/task/23976/stat : 23976 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 355 0 0 0 28 146 0 0 20 0 17 0 654644258 530653184 98452 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 32.46
Current children cumulated vsize (KiB) 518216

[startup+12.7037 s]
/proc/loadavg: 13.27 14.28 13.06 17/201 23976
/proc/meminfo: memFree=18605548/36427776 swapFree=4692/448432
[pid=23959] ppid=23957 vsize=567344 CPUtime=132.97
/proc/23959/stat : 23959 (ttsth-5-0) S 23957 23959 15497 0 -1 4202496 112129 0 0 0 3756 9541 0 0 20 0 17 0 654643806 580960256 111716 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23959/statm: 141836 111716 95 177 0 141658 0
[pid=23959/tid=23961] ppid=23957 vsize=567344 CPUtime=8.16
/proc/23959/task/23961/stat : 23961 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 4345 0 0 0 804 12 0 0 20 0 17 0 654644257 580960256 111716 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134549888 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23959/tid=23962] ppid=23957 vsize=567344 CPUtime=8.02
/proc/23959/task/23962/stat : 23962 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 973 0 0 0 178 624 0 0 20 0 17 0 654644257 580960256 111716 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23959/tid=23963] ppid=23957 vsize=567344 CPUtime=8.02
/proc/23959/task/23963/stat : 23963 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 1212 0 0 0 166 636 0 0 20 0 17 0 654644257 580960256 111716 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23959/tid=23964] ppid=23957 vsize=567344 CPUtime=8.02
/proc/23959/task/23964/stat : 23964 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 1151 0 0 0 188 614 0 0 20 0 17 0 654644257 580960256 111716 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23959/tid=23965] ppid=23957 vsize=567344 CPUtime=8.02
/proc/23959/task/23965/stat : 23965 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 1010 0 0 0 174 628 0 0 20 0 17 0 654644257 580960256 111716 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=23959/tid=23966] ppid=23957 vsize=567344 CPUtime=8
/proc/23959/task/23966/stat : 23966 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 1063 0 0 0 166 634 0 0 20 0 17 0 654644257 580960256 111717 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23959/tid=23967] ppid=23957 vsize=567344 CPUtime=8.04
/proc/23959/task/23967/stat : 23967 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 1057 0 0 0 178 626 0 0 20 0 17 0 654644257 580960256 111718 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23959/tid=23968] ppid=23957 vsize=567344 CPUtime=8.02
/proc/23959/task/23968/stat : 23968 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 928 0 0 0 166 636 0 0 20 0 17 0 654644257 580960256 111718 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23959/tid=23969] ppid=23957 vsize=567344 CPUtime=8.04
/proc/23959/task/23969/stat : 23969 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 993 0 0 0 166 638 0 0 20 0 17 0 654644257 580960256 111718 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=23959/tid=23970] ppid=23957 vsize=567344 CPUtime=8.04
/proc/23959/task/23970/stat : 23970 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 1239 0 0 0 192 612 0 0 20 0 17 0 654644257 580960256 111718 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23959/tid=23971] ppid=23957 vsize=567344 CPUtime=8.02
/proc/23959/task/23971/stat : 23971 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 1198 0 0 0 164 638 0 0 20 0 17 0 654644257 580960256 111718 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23959/tid=23972] ppid=23957 vsize=567344 CPUtime=8.02
/proc/23959/task/23972/stat : 23972 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 1179 0 0 0 162 640 0 0 20 0 17 0 654644257 580960256 111718 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23959/tid=23973] ppid=23957 vsize=567344 CPUtime=8.02
/proc/23959/task/23973/stat : 23973 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 1137 0 0 0 164 638 0 0 20 0 17 0 654644258 580960256 111718 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23959/tid=23974] ppid=23957 vsize=567344 CPUtime=7.86
/proc/23959/task/23974/stat : 23974 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 855 0 0 0 144 642 0 0 20 0 17 0 654644258 580960256 111719 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23959/tid=23975] ppid=23957 vsize=567344 CPUtime=8.02
/proc/23959/task/23975/stat : 23975 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 1005 0 0 0 162 640 0 0 20 0 17 0 654644258 580960256 111719 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23959/tid=23976] ppid=23957 vsize=567344 CPUtime=8.02
/proc/23959/task/23976/stat : 23976 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 911 0 0 0 160 642 0 0 20 0 17 0 654644258 580960256 111719 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 132.97
Current children cumulated vsize (KiB) 567344

[startup+25.5039 s]
/proc/loadavg: 13.87 14.36 13.11 17/201 23976
/proc/meminfo: memFree=18465512/36427776 swapFree=4692/587784
[pid=23959] ppid=23957 vsize=711028 CPUtime=334.13
/proc/23959/stat : 23959 (ttsth-5-0) S 23957 23959 15497 0 -1 4202496 146925 0 0 0 10545 22868 0 0 20 0 17 0 654643806 728092672 146512 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23959/statm: 177757 146513 95 177 0 177579 0
[pid=23959/tid=23961] ppid=23957 vsize=711028 CPUtime=20.94
/proc/23959/task/23961/stat : 23961 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 14971 0 0 0 2068 26 0 0 20 0 17 0 654644257 728092672 146513 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23959/tid=23962] ppid=23957 vsize=711028 CPUtime=20.6
/proc/23959/task/23962/stat : 23962 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 3111 0 0 0 568 1492 0 0 20 0 17 0 654644257 728092672 146513 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23959/tid=23963] ppid=23957 vsize=711028 CPUtime=20.58
/proc/23959/task/23963/stat : 23963 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 2373 0 0 0 534 1524 0 0 20 0 17 0 654644257 728092672 146514 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23959/tid=23964] ppid=23957 vsize=711028 CPUtime=20.56
/proc/23959/task/23964/stat : 23964 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 2232 0 0 0 508 1548 0 0 20 0 17 0 654644257 728092672 146514 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23959/tid=23965] ppid=23957 vsize=711028 CPUtime=20.6
/proc/23959/task/23965/stat : 23965 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 2029 0 0 0 522 1538 0 0 20 0 17 0 654644257 728092672 146514 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=23959/tid=23966] ppid=23957 vsize=711028 CPUtime=20.58
/proc/23959/task/23966/stat : 23966 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 2554 0 0 0 540 1518 0 0 20 0 17 0 654644257 728092672 146514 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23959/tid=23967] ppid=23957 vsize=711028 CPUtime=20.6
/proc/23959/task/23967/stat : 23967 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 2788 0 0 0 534 1526 0 0 20 0 17 0 654644257 728092672 146514 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23959/tid=23968] ppid=23957 vsize=711028 CPUtime=20.6
/proc/23959/task/23968/stat : 23968 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 2846 0 0 0 544 1516 0 0 20 0 17 0 654644257 728092672 146514 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23959/tid=23969] ppid=23957 vsize=711028 CPUtime=20.58
/proc/23959/task/23969/stat : 23969 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 2085 0 0 0 508 1550 0 0 20 0 17 0 654644257 728092672 146515 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=23959/tid=23970] ppid=23957 vsize=711028 CPUtime=20.66
/proc/23959/task/23970/stat : 23970 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 2986 0 0 0 584 1482 0 0 20 0 17 0 654644257 728092672 146515 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23959/tid=23971] ppid=23957 vsize=711028 CPUtime=20.62
/proc/23959/task/23971/stat : 23971 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 3745 0 0 0 566 1496 0 0 20 0 17 0 654644257 728092672 146515 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23959/tid=23972] ppid=23957 vsize=711028 CPUtime=20.6
/proc/23959/task/23972/stat : 23972 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 3543 0 0 0 546 1514 0 0 20 0 17 0 654644257 728092672 146515 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23959/tid=23973] ppid=23957 vsize=711028 CPUtime=20.6
/proc/23959/task/23973/stat : 23973 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 2227 0 0 0 500 1560 0 0 20 0 17 0 654644258 728092672 146515 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23959/tid=23974] ppid=23957 vsize=711028 CPUtime=20.18
/proc/23959/task/23974/stat : 23974 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 2624 0 0 0 552 1466 0 0 20 0 17 0 654644258 728092672 146516 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23959/tid=23975] ppid=23957 vsize=711028 CPUtime=20.62
/proc/23959/task/23975/stat : 23975 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 2178 0 0 0 522 1540 0 0 20 0 17 0 654644258 728092672 146516 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23959/tid=23976] ppid=23957 vsize=711028 CPUtime=20.56
/proc/23959/task/23976/stat : 23976 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 2763 0 0 0 528 1528 0 0 20 0 17 0 654644258 728092672 146516 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 334.13
Current children cumulated vsize (KiB) 711028

[startup+51.1035 s]
/proc/loadavg: 14.53 14.47 13.18 17/201 23976
/proc/meminfo: memFree=18076960/36427776 swapFree=4692/977352
[pid=23959] ppid=23957 vsize=1125264 CPUtime=735.09
/proc/23959/stat : 23959 (ttsth-5-0) S 23957 23959 15497 0 -1 4202496 244966 0 0 0 33830 39679 0 0 20 0 17 0 654643806 1152270336 244553 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23959/statm: 281316 244553 95 177 0 281138 0
[pid=23959/tid=23961] ppid=23957 vsize=1125264 CPUtime=46.53
/proc/23959/task/23961/stat : 23961 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 29648 0 0 0 4609 44 0 0 20 0 17 0 654644257 1152270336 244553 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23959/tid=23962] ppid=23957 vsize=1125264 CPUtime=45.76
/proc/23959/task/23962/stat : 23962 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 10077 0 0 0 2124 2452 0 0 20 0 17 0 654644257 1152270336 244553 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23959/tid=23963] ppid=23957 vsize=1125264 CPUtime=45.6
/proc/23959/task/23963/stat : 23963 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 6742 0 0 0 1880 2680 0 0 20 0 17 0 654644257 1152270336 244553 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23959/tid=23964] ppid=23957 vsize=1125264 CPUtime=45.64
/proc/23959/task/23964/stat : 23964 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 9670 0 0 0 2018 2546 0 0 20 0 17 0 654644257 1152270336 244553 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23959/tid=23965] ppid=23957 vsize=1125264 CPUtime=45.68
/proc/23959/task/23965/stat : 23965 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 7788 0 0 0 1908 2660 0 0 20 0 17 0 654644257 1152270336 244553 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134680374 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=23959/tid=23966] ppid=23957 vsize=1125264 CPUtime=45.62
/proc/23959/task/23966/stat : 23966 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 6789 0 0 0 1864 2698 0 0 20 0 17 0 654644257 1152270336 244553 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23959/tid=23967] ppid=23957 vsize=1125264 CPUtime=45.8
/proc/23959/task/23967/stat : 23967 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 12363 0 0 0 2078 2502 0 0 20 0 17 0 654644257 1152270336 244553 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23959/tid=23968] ppid=23957 vsize=1125264 CPUtime=45.76
/proc/23959/task/23968/stat : 23968 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 10131 0 0 0 2058 2518 0 0 20 0 17 0 654644257 1152270336 244553 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23959/tid=23969] ppid=23957 vsize=1125264 CPUtime=45.58
/proc/23959/task/23969/stat : 23969 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 4978 0 0 0 1758 2800 0 0 20 0 17 0 654644257 1152270336 244553 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=23959/tid=23970] ppid=23957 vsize=1125264 CPUtime=45.82
/proc/23959/task/23970/stat : 23970 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 7674 0 0 0 2022 2560 0 0 20 0 17 0 654644257 1152270336 244553 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23959/tid=23971] ppid=23957 vsize=1125264 CPUtime=45.74
/proc/23959/task/23971/stat : 23971 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 9897 0 0 0 1910 2664 0 0 20 0 17 0 654644257 1152270336 244553 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23959/tid=23972] ppid=23957 vsize=1125264 CPUtime=45.4
/proc/23959/task/23972/stat : 23972 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 7320 0 0 0 1774 2766 0 0 20 0 17 0 654644257 1152270336 244553 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23959/tid=23973] ppid=23957 vsize=1125264 CPUtime=45.62
/proc/23959/task/23973/stat : 23973 (ttsth-5-0) S 23957 23959 15497 0 -1 4202560 8088 0 0 0 1798 2764 0 0 20 0 17 0 654644258 1152270336 244553 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=23959/tid=23974] ppid=23957 vsize=1125264 CPUtime=44.72
/proc/23959/task/23974/stat : 23974 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 8304 0 0 0 1928 2544 0 0 20 0 17 0 654644258 1152270336 244553 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134549925 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23959/tid=23975] ppid=23957 vsize=1125264 CPUtime=45.68
/proc/23959/task/23975/stat : 23975 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 8215 0 0 0 1942 2626 0 0 20 0 17 0 654644258 1152270336 244553 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23959/tid=23976] ppid=23957 vsize=1125264 CPUtime=45.44
/proc/23959/task/23976/stat : 23976 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 5408 0 0 0 1734 2810 0 0 20 0 17 0 654644258 1152270336 244553 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 735.09
Current children cumulated vsize (KiB) 1125264

[startup+102.314 s]
/proc/loadavg: 15.30 14.69 13.32 17/201 23976
/proc/meminfo: memFree=17267352/36427776 swapFree=4692/1785664
[pid=23959] ppid=23957 vsize=1977296 CPUtime=1538.81
/proc/23959/stat : 23959 (ttsth-5-0) S 23957 23959 15497 0 -1 4202496 445694 0 0 0 96922 56959 0 0 20 0 17 0 654643806 2024751104 445281 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23959/statm: 494324 445281 95 177 0 494146 0
[pid=23959/tid=23961] ppid=23957 vsize=1977296 CPUtime=97.73
/proc/23959/task/23961/stat : 23961 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 52656 0 0 0 9693 80 0 0 20 0 17 0 654644257 2024751104 445281 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23959/tid=23962] ppid=23957 vsize=1977296 CPUtime=96
/proc/23959/task/23962/stat : 23962 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 21013 0 0 0 6002 3598 0 0 20 0 17 0 654644257 2024751104 445281 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134590241 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23959/tid=23963] ppid=23957 vsize=1977296 CPUtime=95.26
/proc/23959/task/23963/stat : 23963 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 15155 0 0 0 5350 4176 0 0 20 0 17 0 654644257 2024751104 445281 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134564220 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23959/tid=23964] ppid=23957 vsize=1977296 CPUtime=95.5
/proc/23959/task/23964/stat : 23964 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 22560 0 0 0 5537 4013 0 0 20 0 17 0 654644257 2024751104 445281 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23959/tid=23965] ppid=23957 vsize=1977296 CPUtime=96.04
/proc/23959/task/23965/stat : 23965 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 24321 0 0 0 5936 3668 0 0 20 0 17 0 654644257 2024751104 445283 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134749343 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=23959/tid=23966] ppid=23957 vsize=1977296 CPUtime=95.87
/proc/23959/task/23966/stat : 23966 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 19143 0 0 0 5736 3851 0 0 20 0 17 0 654644257 2024751104 445283 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23959/tid=23967] ppid=23957 vsize=1977296 CPUtime=96.39
/proc/23959/task/23967/stat : 23967 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 31582 0 0 0 6224 3415 0 0 20 0 17 0 654644257 2024751104 445283 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23959/tid=23968] ppid=23957 vsize=1977296 CPUtime=95.96
/proc/23959/task/23968/stat : 23968 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 22207 0 0 0 5827 3769 0 0 20 0 17 0 654644257 2024751104 445283 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23959/tid=23969] ppid=23957 vsize=1977296 CPUtime=96.09
/proc/23959/task/23969/stat : 23969 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 15144 0 0 0 5787 3822 0 0 20 0 17 0 654644257 2024751104 445283 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134593176 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=23959/tid=23970] ppid=23957 vsize=1977296 CPUtime=96.22
/proc/23959/task/23970/stat : 23970 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 15043 0 0 0 5801 3821 0 0 20 0 17 0 654644257 2024751104 445283 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23959/tid=23971] ppid=23957 vsize=1977296 CPUtime=96.29
/proc/23959/task/23971/stat : 23971 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 17060 0 0 0 5921 3708 0 0 20 0 17 0 654644257 2024751104 445284 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134593369 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23959/tid=23972] ppid=23957 vsize=1977296 CPUtime=95.39
/proc/23959/task/23972/stat : 23972 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 19006 0 0 0 5549 3990 0 0 20 0 17 0 654644257 2024751104 445284 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23959/tid=23973] ppid=23957 vsize=1977296 CPUtime=96.08
/proc/23959/task/23973/stat : 23973 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 26437 0 0 0 5900 3708 0 0 20 0 17 0 654644258 2024751104 445284 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134590281 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23959/tid=23974] ppid=23957 vsize=1977296 CPUtime=93.8
/proc/23959/task/23974/stat : 23974 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 21367 0 0 0 5643 3737 0 0 20 0 17 0 654644258 2024751104 445284 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23959/tid=23975] ppid=23957 vsize=1977296 CPUtime=96.16
/proc/23959/task/23975/stat : 23975 (ttsth-5-0) S 23957 23959 15497 0 -1 4202560 19776 0 0 0 6084 3532 0 0 20 0 17 0 654644258 2024751104 445284 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=23959/tid=23976] ppid=23957 vsize=1977296 CPUtime=95.46
/proc/23959/task/23976/stat : 23976 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 11352 0 0 0 5513 4033 0 0 20 0 17 0 654644258 2024751104 445285 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134749296 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1538.81
Current children cumulated vsize (KiB) 1977296



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+108.303 s]
/proc/loadavg: 15.36 14.71 13.33 17/201 23976
/proc/meminfo: memFree=17152684/36427776 swapFree=4692/1900864
[pid=23959] ppid=23957 vsize=2097996 CPUtime=1633.56
/proc/23959/stat : 23959 (ttsth-5-0) S 23957 23959 15497 0 -1 4202496 473961 0 0 0 106113 57243 0 0 20 0 17 0 654643806 2148347904 473548 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23959/statm: 524499 473548 95 177 0 524321 0
[pid=23959/tid=23961] ppid=23957 vsize=2097996 CPUtime=103.73
/proc/23959/task/23961/stat : 23961 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 55988 0 0 0 10287 86 0 0 20 0 17 0 654644257 2148347904 473549 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134590275 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23959/tid=23962] ppid=23957 vsize=2097996 CPUtime=101.94
/proc/23959/task/23962/stat : 23962 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 22920 0 0 0 6576 3618 0 0 20 0 17 0 654644257 2148347904 473550 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23959/tid=23963] ppid=23957 vsize=2097996 CPUtime=101.18
/proc/23959/task/23963/stat : 23963 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 16686 0 0 0 5928 4190 0 0 20 0 17 0 654644257 2148347904 473550 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23959/tid=23964] ppid=23957 vsize=2097996 CPUtime=101.34
/proc/23959/task/23964/stat : 23964 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 24110 0 0 0 6092 4042 0 0 20 0 17 0 654644257 2148347904 473550 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23959/tid=23965] ppid=23957 vsize=2097996 CPUtime=101.97
/proc/23959/task/23965/stat : 23965 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 26829 0 0 0 6517 3680 0 0 20 0 17 0 654644257 2148347904 473550 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=23959/tid=23966] ppid=23957 vsize=2097996 CPUtime=101.81
/proc/23959/task/23966/stat : 23966 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 21655 0 0 0 6330 3851 0 0 20 0 17 0 654644257 2148347904 473550 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23959/tid=23967] ppid=23957 vsize=2097996 CPUtime=102.28
/proc/23959/task/23967/stat : 23967 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 33292 0 0 0 6774 3454 0 0 20 0 17 0 654644257 2148347904 473550 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23959/tid=23968] ppid=23957 vsize=2097996 CPUtime=101.87
/proc/23959/task/23968/stat : 23968 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 23713 0 0 0 6391 3796 0 0 20 0 17 0 654644257 2148347904 473550 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23959/tid=23969] ppid=23957 vsize=2097996 CPUtime=102.01
/proc/23959/task/23969/stat : 23969 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 16365 0 0 0 6366 3835 0 0 20 0 17 0 654644257 2148347904 473550 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=23959/tid=23970] ppid=23957 vsize=2097996 CPUtime=102.17
/proc/23959/task/23970/stat : 23970 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 15648 0 0 0 6370 3847 0 0 20 0 17 0 654644257 2148347904 473551 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23959/tid=23971] ppid=23957 vsize=2097996 CPUtime=102.24
/proc/23959/task/23971/stat : 23971 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 17861 0 0 0 6502 3722 0 0 20 0 17 0 654644257 2148347904 473551 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23959/tid=23972] ppid=23957 vsize=2097996 CPUtime=101.41
/proc/23959/task/23972/stat : 23972 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 21759 0 0 0 6151 3990 0 0 20 0 17 0 654644257 2148347904 473551 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134562317 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23959/tid=23973] ppid=23957 vsize=2097996 CPUtime=101.95
/proc/23959/task/23973/stat : 23973 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 28343 0 0 0 6447 3748 0 0 20 0 17 0 654644258 2148347904 473551 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134680270 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23959/tid=23974] ppid=23957 vsize=2097996 CPUtime=99.6
/proc/23959/task/23974/stat : 23974 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 22822 0 0 0 6198 3762 0 0 20 0 17 0 654644258 2148347904 473552 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23959/tid=23975] ppid=23957 vsize=2097996 CPUtime=102.11
/proc/23959/task/23975/stat : 23975 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 20805 0 0 0 6667 3544 0 0 20 0 17 0 654644258 2148347904 473552 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23959/tid=23976] ppid=23957 vsize=2097996 CPUtime=101.36
/proc/23959/task/23976/stat : 23976 (ttsth-5-0) R 23957 23959 15497 0 -1 4202560 13293 0 0 0 6097 4039 0 0 20 0 17 0 654644258 2148347904 473552 18446744073709551615 134512640 135237372 4292070416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1633.56
Current children cumulated vsize (KiB) 2097996

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

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

[startup+108.424 s]
/proc/loadavg: 15.36 14.71 13.33 17/201 23976
/proc/meminfo: memFree=17152684/36427776 swapFree=4692/1900864
[pid=23959] ppid=23957 vsize=0 CPUtime=1633.75
/proc/23959/stat : 23959 (ttsth-5-0) Z 23957 23959 15497 0 -1 4203532 473999 0 0 0 106121 57254 0 0 20 0 2 0 654643806 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23959/statm: 0 0 0 0 0 0 0
[pid=23959/tid=23976] ppid=23957 vsize=0 CPUtime=101.45
/proc/23959/task/23976/stat : 23976 (ttsth-5-0) R 23957 23959 15497 0 -1 4203588 13293 0 0 0 6097 4048 0 0 20 0 2 0 654644258 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1633.75
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 108.497
CPU time (s): 1633.83
CPU user time (s): 1061.21
CPU system time (s): 572.62
CPU usage (%): 1505.88
Max. virtual memory (cumulated for all children) (KiB): 2097996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1061.21
system time used= 572.62
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 473999
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= 214157
involuntary context switches= 3520

runsolver used 0.520032 second user time and 1.6561 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 06:22:54
IDJOB=1779450
IDBENCH=70857
IDSOLVER=634
FILE ID=xenhost3-49/1779450-1244953374
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-14-s100.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779450-1244953374/watcher-1779450-1244953374 -o /tmp/evaluation-result-1779450-1244953374/solver-1779450-1244953374 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779450-1244953374.cnf

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

MD5SUM BENCH= 0395bced0950ab7e0c6e0bf7b855fed1
RANDOM SEED= 604462649

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:      19045012 kB
Buffers:        482616 kB
Cached:       14118112 kB
SwapCached:          0 kB
Active:        4128108 kB
Inactive:     10479576 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2020 kB
Writeback:           0 kB
AnonPages:        7600 kB
Mapped:           2984 kB
Slab:           721624 kB
SReclaimable:   694772 kB
SUnreclaim:      26852 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 06:24:45