Trace number 1776270

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) 1191.43 75.3859

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
MD5SUM35a8bbabf9cb954216ad71150cb47290
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark24.64
Satisfiable
(Un)Satisfiability was proved
Number of variables684
Number of clauses2300
Sum of the clauses size5992
Maximum clause length15
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 2978
Number of clauses of size 31284
Number of clauses of size 416
Number of clauses of size 512
Number of clauses of size over 57

Solver Data 

0.00/0.01	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776270-1244929548.cnf 
0.00/0.01	c Using SATTIMEOUT of 10000
0.00/0.01	c Using SATRAM of 2047
0.00/0.01	c Size of subset node = 16
0.00/0.01	c Variables = 684
0.00/0.01	c Clauses = 2300
0.00/0.01	c Literals = 5992
0.00/0.01	c Reduced size:
0.00/0.01	c Variables = 684
0.00/0.01	c Clauses = 2267
0.00/0.01	c Literals = 5926
0.00/0.01	c a2
0.00/0.01	c a1
0.04/0.08	c Independent sub-problems = 1
0.04/0.08	c Sub-problem with 681 variables and 2267 clauses
0.04/0.08	c using permutation method 4
0.04/0.08	c count = 3
0.04/0.08	c Ordering finished 0.080 seconds
0.04/0.08	c mapped 0.080 seconds
0.04/0.08	c permuted 0.080 seconds
0.04/0.08	c about to sort
0.04/0.08	c sorted
0.10/0.10	c clauses now 2267
0.10/0.10	c init finished 0.090 seconds
0.10/0.10	c tree built 0.090 seconds
0.10/0.10	c 
0.10/0.10	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.10/0.10	c ---------------------------------|----------------------------------|------------------------------------------------------
0.10/0.10	c ................................ | ..........                       |                        0.1           0.0             
0.10/0.10	c ................................ | ..........                     1 |                        0.1          10.0             
0.10/0.10	c ................................ | ..........                     2 |                        0.1          20.0            1
0.10/0.10	c ................................ | ..........                     3 |                        0.1          30.0            1
0.10/0.10	c ................................ | ..........                     4 |                        0.1          40.0            1
0.10/0.10	c ................................ | ..........                     5 |                        0.1          50.0            2
0.10/0.10	c ................................ | ..........                  1000 | 19                     0.1        7692.3          464
257.33/16.53	c ................................ | ..........                601000 | 71997                200.1        3003.8     18923268
465.46/29.65	c ................................ | ..........                942000 | 111553               400.1        2354.7     39077550
667.11/42.40	c ................................ | ..........               1174000 | 138622               600.2        1956.1     58234267
870.71/55.15	c ................................ | ..........               1351000 | 160541               800.6        1687.4     75761717
1073.05/67.83	c ................................ | *.........               1575000 | 186869              1000.8        1573.8     98692450
1080.93/68.36	c **.............................. | *.........               1581379 | 187630              1009.1        1567.1     99460989
1080.93/68.36	c ********........................ | *.........               1581380 | 187631              1009.1        1567.1     99461390
1080.93/68.36	c ****************................ | *.........               1581381 | 187632              1009.1        1567.1     99461543
1080.93/68.36	c ****************................ | *.........               1581382 | 187632              1009.1        1567.1     99461643
1080.93/68.36	c ****************................ | *.........               1581383 | 187632              1009.1        1567.0     99461713
1080.93/68.36	c ****************................ | *.........               1581384 | 187632              1009.1        1567.0     99461797
1080.93/68.36	c ****************................ | *.........               1581385 | 187632              1009.1        1567.0     99461867

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-1776270-1244929548/watcher-1776270-1244929548 -o /tmp/evaluation-result-1776270-1244929548/solver-1776270-1244929548 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776270-1244929548.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: 13.81 9.63 5.10 2/184 18594
/proc/meminfo: memFree=19063532/36427776 swapFree=4348/7048
[pid=18594] ppid=18592 vsize=1408 CPUtime=0
/proc/18594/stat : 18594 (ttsth-5-0) R 18592 18594 15497 0 -1 4202496 238 0 0 0 0 0 0 0 20 0 1 0 652261176 1441792 194 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134732614 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/18594/statm: 352 194 77 177 0 174 0

[startup+0.054364 s]
/proc/loadavg: 13.81 9.63 5.10 2/184 18594
/proc/meminfo: memFree=19063532/36427776 swapFree=4348/7048
[pid=18594] ppid=18592 vsize=1408 CPUtime=0.04
/proc/18594/stat : 18594 (ttsth-5-0) R 18592 18594 15497 0 -1 4202496 249 0 0 0 4 0 0 0 20 0 1 0 652261176 1441792 205 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134600966 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/18594/statm: 352 205 77 177 0 174 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1408

[startup+0.102379 s]
/proc/loadavg: 13.81 9.63 5.10 2/184 18594
/proc/meminfo: memFree=19063532/36427776 swapFree=4348/7048
[pid=18594] ppid=18592 vsize=8804 CPUtime=0.1
/proc/18594/stat : 18594 (ttsth-5-0) R 18592 18594 15497 0 -1 4202496 2131 0 0 0 10 0 0 0 20 0 1 0 652261176 9015296 2087 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134728993 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/18594/statm: 2201 2089 91 177 0 2023 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8804

[startup+0.302496 s]
/proc/loadavg: 13.81 9.63 5.10 2/184 18594
/proc/meminfo: memFree=19063532/36427776 swapFree=4348/7048
[pid=18594] ppid=18592 vsize=146940 CPUtime=3.13
/proc/18594/stat : 18594 (ttsth-5-0) S 18592 18594 15497 0 -1 4202496 2991 0 0 0 56 257 0 0 20 0 17 0 652261176 150466560 2946 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18594/statm: 36735 2946 95 177 0 36557 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 146940

[startup+0.701887 s]
/proc/loadavg: 13.81 9.63 5.10 2/184 18594
/proc/meminfo: memFree=19063532/36427776 swapFree=4348/7048
[pid=18594] ppid=18592 vsize=152852 CPUtime=9.3
/proc/18594/stat : 18594 (ttsth-5-0) S 18592 18594 15497 0 -1 4202496 4604 0 0 0 240 690 0 0 20 0 17 0 652261176 156520448 4559 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18594/statm: 38213 4559 95 177 0 38035 0
Current children cumulated CPU time (s) 9.3
Current children cumulated vsize (KiB) 152852

[startup+1.5065 s]
/proc/loadavg: 13.81 9.63 5.10 15/201 18611
/proc/meminfo: memFree=19043272/36427776 swapFree=4692/29332
[pid=18594] ppid=18592 vsize=167168 CPUtime=21.91
/proc/18594/stat : 18594 (ttsth-5-0) S 18592 18594 15497 0 -1 4202496 8239 0 0 0 681 1510 0 0 20 0 17 0 652261176 171180032 8194 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18594/statm: 41792 8195 95 177 0 41614 0
[pid=18594/tid=18596] ppid=18592 vsize=167168 CPUtime=1.38
/proc/18594/task/18596/stat : 18596 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 1690 0 0 0 136 2 0 0 20 0 17 0 652261186 171180032 8195 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=167168 CPUtime=1.36
/proc/18594/task/18597/stat : 18597 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 213 0 0 0 26 110 0 0 20 0 17 0 652261186 171180032 8195 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18594/tid=18598] ppid=18592 vsize=167168 CPUtime=1.36
/proc/18594/task/18598/stat : 18598 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 243 0 0 0 34 102 0 0 20 0 17 0 652261186 171180032 8196 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18594/tid=18599] ppid=18592 vsize=167168 CPUtime=1.36
/proc/18594/task/18599/stat : 18599 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 287 0 0 0 36 100 0 0 20 0 17 0 652261186 171180032 8196 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18594/tid=18600] ppid=18592 vsize=167168 CPUtime=1.34
/proc/18594/task/18600/stat : 18600 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 340 0 0 0 40 94 0 0 20 0 17 0 652261186 171180032 8196 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18594/tid=18601] ppid=18592 vsize=167168 CPUtime=1.36
/proc/18594/task/18601/stat : 18601 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 399 0 0 0 34 102 0 0 20 0 17 0 652261186 171180032 8196 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18594/tid=18602] ppid=18592 vsize=167168 CPUtime=1.36
/proc/18594/task/18602/stat : 18602 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 328 0 0 0 32 104 0 0 20 0 17 0 652261186 171180032 8196 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18594/tid=18603] ppid=18592 vsize=167168 CPUtime=1.36
/proc/18594/task/18603/stat : 18603 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 282 0 0 0 30 106 0 0 20 0 17 0 652261186 171180032 8196 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18594/tid=18604] ppid=18592 vsize=167168 CPUtime=1.36
/proc/18594/task/18604/stat : 18604 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 358 0 0 0 44 92 0 0 20 0 17 0 652261186 171180032 8197 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18594/tid=18605] ppid=18592 vsize=167168 CPUtime=1.36
/proc/18594/task/18605/stat : 18605 (ttsth-5-0) S 18592 18594 15497 0 -1 4202560 336 0 0 0 42 94 0 0 20 0 17 0 652261186 171180032 8197 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18594/tid=18606] ppid=18592 vsize=167168 CPUtime=1.36
/proc/18594/task/18606/stat : 18606 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 266 0 0 0 26 110 0 0 20 0 17 0 652261186 171180032 8198 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18594/tid=18607] ppid=18592 vsize=167168 CPUtime=1.36
/proc/18594/task/18607/stat : 18607 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 222 0 0 0 44 92 0 0 20 0 17 0 652261186 171180032 8198 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18594/tid=18608] ppid=18592 vsize=167168 CPUtime=1.34
/proc/18594/task/18608/stat : 18608 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 283 0 0 0 34 100 0 0 20 0 17 0 652261186 171180032 8198 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18594/tid=18609] ppid=18592 vsize=167168 CPUtime=1.34
/proc/18594/task/18609/stat : 18609 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 308 0 0 0 34 100 0 0 20 0 17 0 652261186 171180032 8198 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134680474 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18594/tid=18610] ppid=18592 vsize=167168 CPUtime=1.36
/proc/18594/task/18610/stat : 18610 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 226 0 0 0 44 92 0 0 20 0 17 0 652261186 171180032 8198 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18594/tid=18611] ppid=18592 vsize=167168 CPUtime=1.36
/proc/18594/task/18611/stat : 18611 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 279 0 0 0 30 106 0 0 20 0 17 0 652261186 171180032 8199 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 21.91
Current children cumulated vsize (KiB) 167168

[startup+3.10727 s]
/proc/loadavg: 13.81 9.63 5.10 17/201 18611
/proc/meminfo: memFree=19020840/36427776 swapFree=4692/51924
[pid=18594] ppid=18592 vsize=200260 CPUtime=46.94
/proc/18594/stat : 18594 (ttsth-5-0) S 18592 18594 15497 0 -1 4202496 16430 0 0 0 1789 2905 0 0 20 0 17 0 652261176 205066240 16385 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18594/statm: 50065 16385 95 177 0 49887 0
[pid=18594/tid=18596] ppid=18592 vsize=200260 CPUtime=2.98
/proc/18594/task/18596/stat : 18596 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 3387 0 0 0 292 6 0 0 20 0 17 0 652261186 205066240 16385 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=200260 CPUtime=2.92
/proc/18594/task/18597/stat : 18597 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 615 0 0 0 80 212 0 0 20 0 17 0 652261186 205066240 16385 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18594/tid=18598] ppid=18592 vsize=200260 CPUtime=2.9
/proc/18594/task/18598/stat : 18598 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 762 0 0 0 94 196 0 0 20 0 17 0 652261186 205066240 16386 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18594/tid=18599] ppid=18592 vsize=200260 CPUtime=2.92
/proc/18594/task/18599/stat : 18599 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 600 0 0 0 112 180 0 0 20 0 17 0 652261186 205066240 16388 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18594/tid=18600] ppid=18592 vsize=200260 CPUtime=2.9
/proc/18594/task/18600/stat : 18600 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 784 0 0 0 98 192 0 0 20 0 17 0 652261186 205066240 16388 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18594/tid=18601] ppid=18592 vsize=200260 CPUtime=2.92
/proc/18594/task/18601/stat : 18601 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 1001 0 0 0 92 200 0 0 20 0 17 0 652261186 205066240 16388 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18594/tid=18602] ppid=18592 vsize=200260 CPUtime=2.92
/proc/18594/task/18602/stat : 18602 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 813 0 0 0 94 198 0 0 20 0 17 0 652261186 205066240 16388 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134733328 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18594/tid=18603] ppid=18592 vsize=200260 CPUtime=2.92
/proc/18594/task/18603/stat : 18603 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 540 0 0 0 90 202 0 0 20 0 17 0 652261186 205066240 16388 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18594/tid=18604] ppid=18592 vsize=200260 CPUtime=2.92
/proc/18594/task/18604/stat : 18604 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 1032 0 0 0 106 186 0 0 20 0 17 0 652261186 205066240 16388 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18594/tid=18605] ppid=18592 vsize=200260 CPUtime=2.92
/proc/18594/task/18605/stat : 18605 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 837 0 0 0 114 178 0 0 20 0 17 0 652261186 205066240 16388 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18594/tid=18606] ppid=18592 vsize=200260 CPUtime=2.92
/proc/18594/task/18606/stat : 18606 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 796 0 0 0 88 204 0 0 20 0 17 0 652261186 205066240 16389 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18594/tid=18607] ppid=18592 vsize=200260 CPUtime=2.94
/proc/18594/task/18607/stat : 18607 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 479 0 0 0 114 180 0 0 20 0 17 0 652261186 205066240 16390 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18594/tid=18608] ppid=18592 vsize=200260 CPUtime=2.92
/proc/18594/task/18608/stat : 18608 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 626 0 0 0 92 200 0 0 20 0 17 0 652261186 205066240 16390 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18594/tid=18609] ppid=18592 vsize=200260 CPUtime=2.88
/proc/18594/task/18609/stat : 18609 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 765 0 0 0 102 186 0 0 20 0 17 0 652261186 205066240 16390 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134590275 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18594/tid=18610] ppid=18592 vsize=200260 CPUtime=2.92
/proc/18594/task/18610/stat : 18610 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 473 0 0 0 112 180 0 0 20 0 17 0 652261186 205066240 16391 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18594/tid=18611] ppid=18592 vsize=200260 CPUtime=2.92
/proc/18594/task/18611/stat : 18611 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 741 0 0 0 92 200 0 0 20 0 17 0 652261186 205066240 16391 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 46.94
Current children cumulated vsize (KiB) 200260

[startup+6.30669 s]
/proc/loadavg: 13.98 9.73 5.15 17/201 18611
/proc/meminfo: memFree=18956600/36427776 swapFree=4692/117408
[pid=18594] ppid=18592 vsize=262376 CPUtime=97.06
/proc/18594/stat : 18594 (ttsth-5-0) S 18592 18594 15497 0 -1 4202496 31745 0 0 0 4167 5539 0 0 20 0 17 0 652261176 268673024 31700 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18594/statm: 65594 31702 95 177 0 65416 0
[pid=18594/tid=18596] ppid=18592 vsize=262376 CPUtime=6.18
/proc/18594/task/18596/stat : 18596 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 6062 0 0 0 608 10 0 0 20 0 17 0 652261186 268673024 31702 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134733328 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=262376 CPUtime=6.06
/proc/18594/task/18597/stat : 18597 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 1507 0 0 0 212 394 0 0 20 0 17 0 652261186 268673024 31702 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18594/tid=18598] ppid=18592 vsize=262376 CPUtime=6.04
/proc/18594/task/18598/stat : 18598 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 1858 0 0 0 232 372 0 0 20 0 17 0 652261186 268673024 31702 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18594/tid=18599] ppid=18592 vsize=262376 CPUtime=6.04
/proc/18594/task/18599/stat : 18599 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 1253 0 0 0 238 366 0 0 20 0 17 0 652261186 268673024 31702 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18594/tid=18600] ppid=18592 vsize=262376 CPUtime=6
/proc/18594/task/18600/stat : 18600 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 1442 0 0 0 214 386 0 0 20 0 17 0 652261186 268673024 31702 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18594/tid=18601] ppid=18592 vsize=262376 CPUtime=6.06
/proc/18594/task/18601/stat : 18601 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 1964 0 0 0 226 380 0 0 20 0 17 0 652261186 268673024 31702 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18594/tid=18602] ppid=18592 vsize=262376 CPUtime=6.04
/proc/18594/task/18602/stat : 18602 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 1770 0 0 0 230 374 0 0 20 0 17 0 652261186 268673024 31702 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18594/tid=18603] ppid=18592 vsize=262376 CPUtime=6.02
/proc/18594/task/18603/stat : 18603 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 1319 0 0 0 222 380 0 0 20 0 17 0 652261186 268673024 31702 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18594/tid=18604] ppid=18592 vsize=262376 CPUtime=6.08
/proc/18594/task/18604/stat : 18604 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 1634 0 0 0 272 336 0 0 20 0 17 0 652261186 268673024 31702 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18594/tid=18605] ppid=18592 vsize=262376 CPUtime=6.04
/proc/18594/task/18605/stat : 18605 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 1693 0 0 0 242 362 0 0 20 0 17 0 652261186 268673024 31702 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18594/tid=18606] ppid=18592 vsize=262376 CPUtime=6.06
/proc/18594/task/18606/stat : 18606 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 1691 0 0 0 224 382 0 0 20 0 17 0 652261186 268673024 31702 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18594/tid=18607] ppid=18592 vsize=262376 CPUtime=6.08
/proc/18594/task/18607/stat : 18607 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 1224 0 0 0 250 358 0 0 20 0 17 0 652261186 268673024 31702 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18594/tid=18608] ppid=18592 vsize=262376 CPUtime=6.06
/proc/18594/task/18608/stat : 18608 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 1512 0 0 0 238 368 0 0 20 0 17 0 652261186 268673024 31702 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18594/tid=18609] ppid=18592 vsize=262376 CPUtime=5.94
/proc/18594/task/18609/stat : 18609 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 1589 0 0 0 244 350 0 0 20 0 17 0 652261186 268673024 31702 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18594/tid=18610] ppid=18592 vsize=262376 CPUtime=6.08
/proc/18594/task/18610/stat : 18610 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 1028 0 0 0 268 340 0 0 20 0 17 0 652261186 268673024 31702 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18594/tid=18611] ppid=18592 vsize=262376 CPUtime=6.04
/proc/18594/task/18611/stat : 18611 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 2019 0 0 0 228 376 0 0 20 0 17 0 652261186 268673024 31702 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 97.06
Current children cumulated vsize (KiB) 262376

[startup+12.7035 s]
/proc/loadavg: 14.14 9.84 5.21 17/201 18611
/proc/meminfo: memFree=18825936/36427776 swapFree=4692/246792
[pid=18594] ppid=18592 vsize=391496 CPUtime=197.35
/proc/18594/stat : 18594 (ttsth-5-0) S 18592 18594 15497 0 -1 4202496 64033 0 0 0 10473 9262 0 0 20 0 17 0 652261176 400891904 63988 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18594/statm: 97874 63988 95 177 0 97696 0
[pid=18594/tid=18596] ppid=18592 vsize=391496 CPUtime=12.56
/proc/18594/task/18596/stat : 18596 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 9842 0 0 0 1242 14 0 0 20 0 17 0 652261186 400891904 63988 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=391496 CPUtime=12.32
/proc/18594/task/18597/stat : 18597 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 3968 0 0 0 558 674 0 0 20 0 17 0 652261186 400891904 63989 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18594/tid=18598] ppid=18592 vsize=391496 CPUtime=12.32
/proc/18594/task/18598/stat : 18598 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 4037 0 0 0 614 618 0 0 20 0 17 0 652261186 400891904 63989 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18594/tid=18599] ppid=18592 vsize=391496 CPUtime=12.3
/proc/18594/task/18599/stat : 18599 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 3200 0 0 0 592 638 0 0 20 0 17 0 652261186 400891904 63989 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18594/tid=18600] ppid=18592 vsize=391496 CPUtime=12.28
/proc/18594/task/18600/stat : 18600 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 3085 0 0 0 600 628 0 0 20 0 17 0 652261186 400891904 63989 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18594/tid=18601] ppid=18592 vsize=391496 CPUtime=12.32
/proc/18594/task/18601/stat : 18601 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 3740 0 0 0 610 622 0 0 20 0 17 0 652261186 400891904 63989 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18594/tid=18602] ppid=18592 vsize=391496 CPUtime=12.28
/proc/18594/task/18602/stat : 18602 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 4278 0 0 0 592 636 0 0 20 0 17 0 652261186 400891904 63989 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18594/tid=18603] ppid=18592 vsize=391496 CPUtime=12.22
/proc/18594/task/18603/stat : 18603 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 3656 0 0 0 558 664 0 0 20 0 17 0 652261186 400891904 63989 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18594/tid=18604] ppid=18592 vsize=391496 CPUtime=12.4
/proc/18594/task/18604/stat : 18604 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 2439 0 0 0 730 510 0 0 20 0 17 0 652261186 400891904 63989 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18594/tid=18605] ppid=18592 vsize=391496 CPUtime=12.3
/proc/18594/task/18605/stat : 18605 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 3460 0 0 0 586 644 0 0 20 0 17 0 652261186 400891904 63989 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18594/tid=18606] ppid=18592 vsize=391496 CPUtime=12.32
/proc/18594/task/18606/stat : 18606 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 2975 0 0 0 614 618 0 0 20 0 17 0 652261186 400891904 63990 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18594/tid=18607] ppid=18592 vsize=391496 CPUtime=12.32
/proc/18594/task/18607/stat : 18607 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 3274 0 0 0 602 630 0 0 20 0 17 0 652261186 400891904 63991 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18594/tid=18608] ppid=18592 vsize=391496 CPUtime=12.34
/proc/18594/task/18608/stat : 18608 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 3949 0 0 0 620 614 0 0 20 0 17 0 652261186 400891904 63992 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18594/tid=18609] ppid=18592 vsize=391496 CPUtime=12.14
/proc/18594/task/18609/stat : 18609 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 2727 0 0 0 664 550 0 0 20 0 17 0 652261186 400891904 63992 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134562459 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18594/tid=18610] ppid=18592 vsize=391496 CPUtime=12.38
/proc/18594/task/18610/stat : 18610 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 2704 0 0 0 662 576 0 0 20 0 17 0 652261186 400891904 63992 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18594/tid=18611] ppid=18592 vsize=391496 CPUtime=12.34
/proc/18594/task/18611/stat : 18611 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 4518 0 0 0 614 620 0 0 20 0 17 0 652261186 400891904 63993 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 197.35
Current children cumulated vsize (KiB) 391496

[startup+25.5053 s]
/proc/loadavg: 14.55 10.14 5.38 17/201 18611
/proc/meminfo: memFree=18492704/36427776 swapFree=4692/581432
[pid=18594] ppid=18592 vsize=714932 CPUtime=400.02
/proc/18594/stat : 18594 (ttsth-5-0) S 18592 18594 15497 0 -1 4202496 144885 0 0 0 28382 11620 0 0 20 0 17 0 652261176 732090368 144840 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18594/statm: 178733 144840 95 177 0 178555 0
[pid=18594/tid=18596] ppid=18592 vsize=714932 CPUtime=25.34
/proc/18594/task/18596/stat : 18596 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 17919 0 0 0 2508 26 0 0 20 0 17 0 652261186 732090368 144840 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=714932 CPUtime=25.02
/proc/18594/task/18597/stat : 18597 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 9043 0 0 0 1670 832 0 0 20 0 17 0 652261186 732090368 144841 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18594/tid=18598] ppid=18592 vsize=714932 CPUtime=24.98
/proc/18594/task/18598/stat : 18598 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 8862 0 0 0 1738 760 0 0 20 0 17 0 652261186 732090368 144841 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18594/tid=18599] ppid=18592 vsize=714932 CPUtime=24.94
/proc/18594/task/18599/stat : 18599 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 8929 0 0 0 1690 804 0 0 20 0 17 0 652261186 732090368 144841 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18594/tid=18600] ppid=18592 vsize=714932 CPUtime=24.92
/proc/18594/task/18600/stat : 18600 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 8058 0 0 0 1704 788 0 0 20 0 17 0 652261186 732090368 144841 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134733328 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18594/tid=18601] ppid=18592 vsize=714932 CPUtime=24.98
/proc/18594/task/18601/stat : 18601 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 8107 0 0 0 1726 772 0 0 20 0 17 0 652261186 732090368 144841 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18594/tid=18602] ppid=18592 vsize=714932 CPUtime=24.94
/proc/18594/task/18602/stat : 18602 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 9317 0 0 0 1694 800 0 0 20 0 17 0 652261186 732090368 144841 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18594/tid=18603] ppid=18592 vsize=714932 CPUtime=24.88
/proc/18594/task/18603/stat : 18603 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 8209 0 0 0 1674 814 0 0 20 0 17 0 652261186 732090368 144841 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18594/tid=18604] ppid=18592 vsize=714932 CPUtime=25.14
/proc/18594/task/18604/stat : 18604 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 5401 0 0 0 1910 604 0 0 20 0 17 0 652261186 732090368 144841 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18594/tid=18605] ppid=18592 vsize=714932 CPUtime=25
/proc/18594/task/18605/stat : 18605 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 7176 0 0 0 1720 780 0 0 20 0 17 0 652261186 732090368 144841 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18594/tid=18606] ppid=18592 vsize=714932 CPUtime=24.94
/proc/18594/task/18606/stat : 18606 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 8437 0 0 0 1680 814 0 0 20 0 17 0 652261186 732090368 144842 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18594/tid=18607] ppid=18592 vsize=715092 CPUtime=24.94
/proc/18594/task/18607/stat : 18607 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 10667 0 0 0 1654 840 0 0 20 0 17 0 652261186 732254208 144843 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134733328 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18594/tid=18608] ppid=18592 vsize=715092 CPUtime=25.1
/proc/18594/task/18608/stat : 18608 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 6840 0 0 0 1766 744 0 0 20 0 17 0 652261186 732254208 144843 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18594/tid=18609] ppid=18592 vsize=715092 CPUtime=24.6
/proc/18594/task/18609/stat : 18609 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 6581 0 0 0 1772 688 0 0 20 0 17 0 652261186 732254208 144843 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18594/tid=18610] ppid=18592 vsize=715092 CPUtime=25.06
/proc/18594/task/18610/stat : 18610 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 9492 0 0 0 1750 756 0 0 20 0 17 0 652261186 732254208 144843 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18594/tid=18611] ppid=18592 vsize=715092 CPUtime=25.02
/proc/18594/task/18611/stat : 18611 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 9667 0 0 0 1710 792 0 0 20 0 17 0 652261186 732254208 144843 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 400.02
Current children cumulated vsize (KiB) 714932

[startup+51.1017 s]
/proc/loadavg: 15.05 10.61 5.67 17/201 18611
/proc/meminfo: memFree=17853404/36427776 swapFree=4692/1220356
[pid=18594] ppid=18592 vsize=1360292 CPUtime=807.25
/proc/18594/stat : 18594 (ttsth-5-0) S 18592 18594 15497 0 -1 4202496 306252 0 0 0 68584 12141 0 0 20 0 17 0 652261176 1392939008 306207 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18594/statm: 340073 306208 95 177 0 339895 0
[pid=18594/tid=18596] ppid=18592 vsize=1360292 CPUtime=50.9
/proc/18594/task/18596/stat : 18596 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 30795 0 0 0 5044 46 0 0 20 0 17 0 652261186 1392939008 306208 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=1360292 CPUtime=50.46
/proc/18594/task/18597/stat : 18597 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 17506 0 0 0 4184 862 0 0 20 0 17 0 652261186 1392939008 306208 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18594/tid=18598] ppid=18592 vsize=1360292 CPUtime=50.42
/proc/18594/task/18598/stat : 18598 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 18318 0 0 0 4236 806 0 0 20 0 17 0 652261186 1392939008 306209 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18594/tid=18599] ppid=18592 vsize=1360292 CPUtime=50.39
/proc/18594/task/18599/stat : 18599 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 27681 0 0 0 4157 882 0 0 20 0 17 0 652261186 1392939008 306209 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18594/tid=18600] ppid=18592 vsize=1360292 CPUtime=50.41
/proc/18594/task/18600/stat : 18600 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 14216 0 0 0 4235 806 0 0 20 0 17 0 652261186 1392939008 306209 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18594/tid=18601] ppid=18592 vsize=1360292 CPUtime=50.49
/proc/18594/task/18601/stat : 18601 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 13882 0 0 0 4257 792 0 0 20 0 17 0 652261186 1392939008 306210 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18594/tid=18602] ppid=18592 vsize=1360292 CPUtime=50.47
/proc/18594/task/18602/stat : 18602 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 15051 0 0 0 4233 814 0 0 20 0 17 0 652261186 1392939008 306210 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18594/tid=18603] ppid=18592 vsize=1360292 CPUtime=50.34
/proc/18594/task/18603/stat : 18603 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 17292 0 0 0 4198 836 0 0 20 0 17 0 652261186 1392939008 306210 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18594/tid=18604] ppid=18592 vsize=1360292 CPUtime=50.67
/proc/18594/task/18604/stat : 18604 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 9183 0 0 0 4445 622 0 0 20 0 17 0 652261186 1392939008 306210 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18594/tid=18605] ppid=18592 vsize=1360292 CPUtime=50.42
/proc/18594/task/18605/stat : 18605 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 15542 0 0 0 4236 806 0 0 20 0 17 0 652261186 1392939008 306210 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18594/tid=18606] ppid=18592 vsize=1360292 CPUtime=50.46
/proc/18594/task/18606/stat : 18606 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 14997 0 0 0 4206 840 0 0 20 0 17 0 652261186 1392939008 306210 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18594/tid=18607] ppid=18592 vsize=1360292 CPUtime=50.35
/proc/18594/task/18607/stat : 18607 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 40101 0 0 0 4119 916 0 0 20 0 17 0 652261186 1392939008 306211 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18594/tid=18608] ppid=18592 vsize=1360292 CPUtime=50.62
/proc/18594/task/18608/stat : 18608 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 11638 0 0 0 4314 748 0 0 20 0 17 0 652261186 1392939008 306211 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18594/tid=18609] ppid=18592 vsize=1360292 CPUtime=49.58
/proc/18594/task/18609/stat : 18609 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 13786 0 0 0 4222 736 0 0 20 0 17 0 652261186 1392939008 306211 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18594/tid=18610] ppid=18592 vsize=1360292 CPUtime=50.57
/proc/18594/task/18610/stat : 18610 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 27621 0 0 0 4249 808 0 0 20 0 17 0 652261186 1392939008 306211 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18594/tid=18611] ppid=18592 vsize=1360292 CPUtime=50.53
/proc/18594/task/18611/stat : 18611 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 16463 0 0 0 4237 816 0 0 20 0 17 0 652261186 1392939008 306211 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 807.25
Current children cumulated vsize (KiB) 1360292



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+75.203 s]
/proc/loadavg: 15.37 11.04 5.94 17/201 18611
/proc/meminfo: memFree=17101776/36427776 swapFree=4692/1968736
[pid=18594] ppid=18592 vsize=2096928 CPUtime=1191.12
/proc/18594/stat : 18594 (ttsth-5-0) S 18592 18594 15497 0 -1 4202496 490420 0 0 0 106245 12867 0 0 20 0 17 0 652261176 2147254272 490375 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18594/statm: 524232 490375 95 177 0 524054 0
[pid=18594/tid=18596] ppid=18592 vsize=2096928 CPUtime=74.99
/proc/18594/task/18596/stat : 18596 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 47219 0 0 0 7425 74 0 0 20 0 17 0 652261186 2147254272 490378 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18594/tid=18597] ppid=18592 vsize=2096928 CPUtime=74.48
/proc/18594/task/18597/stat : 18597 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 25158 0 0 0 6544 904 0 0 20 0 17 0 652261186 2147254272 490379 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18594/tid=18598] ppid=18592 vsize=2096928 CPUtime=74.43
/proc/18594/task/18598/stat : 18598 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 32798 0 0 0 6585 858 0 0 20 0 17 0 652261186 2147254272 490379 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18594/tid=18599] ppid=18592 vsize=2096928 CPUtime=74.37
/proc/18594/task/18599/stat : 18599 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 37916 0 0 0 6503 934 0 0 20 0 17 0 652261186 2147254272 490380 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18594/tid=18600] ppid=18592 vsize=2096928 CPUtime=74.4
/proc/18594/task/18600/stat : 18600 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 29726 0 0 0 6556 884 0 0 20 0 17 0 652261186 2147254272 490380 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18594/tid=18601] ppid=18592 vsize=2096928 CPUtime=74.48
/proc/18594/task/18601/stat : 18601 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 23723 0 0 0 6588 860 0 0 20 0 17 0 652261186 2147254272 490381 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18594/tid=18602] ppid=18592 vsize=2096928 CPUtime=74.49
/proc/18594/task/18602/stat : 18602 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 22022 0 0 0 6603 846 0 0 20 0 17 0 652261186 2147254272 490382 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18594/tid=18603] ppid=18592 vsize=2096928 CPUtime=74.38
/proc/18594/task/18603/stat : 18603 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 23506 0 0 0 6558 880 0 0 20 0 17 0 652261186 2147254272 490382 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18594/tid=18604] ppid=18592 vsize=2096928 CPUtime=74.73
/proc/18594/task/18604/stat : 18604 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 13016 0 0 0 6829 644 0 0 20 0 17 0 652261186 2147254272 490382 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18594/tid=18605] ppid=18592 vsize=2096928 CPUtime=74.47
/proc/18594/task/18605/stat : 18605 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 25314 0 0 0 6601 846 0 0 20 0 17 0 652261186 2147254272 490382 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18594/tid=18606] ppid=18592 vsize=2096928 CPUtime=74.43
/proc/18594/task/18606/stat : 18606 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 40904 0 0 0 6519 924 0 0 20 0 17 0 652261186 2147254272 490382 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18594/tid=18607] ppid=18592 vsize=2096928 CPUtime=74.36
/proc/18594/task/18607/stat : 18607 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 59878 0 0 0 6468 968 0 0 20 0 17 0 652261186 2147254272 490382 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18594/tid=18608] ppid=18592 vsize=2096928 CPUtime=74.64
/proc/18594/task/18608/stat : 18608 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 14908 0 0 0 6704 760 0 0 20 0 17 0 652261186 2147254272 490383 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18594/tid=18609] ppid=18592 vsize=2096928 CPUtime=73.12
/proc/18594/task/18609/stat : 18609 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 22824 0 0 0 6542 770 0 0 20 0 17 0 652261186 2147254272 490383 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18594/tid=18610] ppid=18592 vsize=2096928 CPUtime=74.57
/proc/18594/task/18610/stat : 18610 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 47532 0 0 0 6593 864 0 0 20 0 17 0 652261186 2147254272 490384 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18594/tid=18611] ppid=18592 vsize=2096928 CPUtime=74.57
/proc/18594/task/18611/stat : 18611 (ttsth-5-0) R 18592 18594 15497 0 -1 4202560 21800 0 0 0 6615 842 0 0 20 0 17 0 652261186 2147254272 490384 18446744073709551615 134512640 135237372 4292492416 18446744073709551615 134565869 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1191.12
Current children cumulated vsize (KiB) 2096928

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

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

[startup+75.3248 s]
/proc/loadavg: 15.37 11.04 5.94 17/201 18611
/proc/meminfo: memFree=17101776/36427776 swapFree=4692/1968736
[pid=18594] ppid=18592 vsize=0 CPUtime=1191.36
/proc/18594/stat : 18594 (ttsth-5-0) Z 18592 18594 15497 0 -1 4203532 490524 0 0 0 106259 12877 0 0 20 0 2 0 652261176 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/18594/statm: 0 0 0 0 0 0 0
[pid=18594/tid=18611] ppid=18592 vsize=0 CPUtime=74.67
/proc/18594/task/18611/stat : 18611 (ttsth-5-0) R 18592 18594 15497 0 -1 4203588 21818 0 0 0 6615 852 0 0 20 0 2 0 652261186 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1191.36
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 75.3859
CPU time (s): 1191.43
CPU user time (s): 1062.59
CPU system time (s): 128.844
CPU usage (%): 1580.45
Max. virtual memory (cumulated for all children) (KiB): 2096928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1062.59
system time used= 128.844
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 490524
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= 85644
involuntary context switches= 2873

runsolver used 0.388024 second user time and 1.10407 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 23:45:48
IDJOB=1776270
IDBENCH=20473
IDSOLVER=634
FILE ID=xenhost3-49/1776270-1244929548
PBS_JOBID=
Free space on /tmp= 7026 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.8.unsat.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776270-1244929548/watcher-1776270-1244929548 -o /tmp/evaluation-result-1776270-1244929548/solver-1776270-1244929548 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776270-1244929548.cnf

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

MD5SUM BENCH= 35a8bbabf9cb954216ad71150cb47290
RANDOM SEED= 1669402157

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:      19063532 kB
Buffers:        472600 kB
Cached:       14114980 kB
SwapCached:          0 kB
Active:        4118684 kB
Inactive:     10477236 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:             684 kB
Writeback:           0 kB
AnonPages:        7048 kB
Mapped:           3684 kB
Slab:           717296 kB
SReclaimable:   690548 kB
SUnreclaim:      26748 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29736 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7026 MiB
End job on xenhost3-49 at 2009-06-13 23:47:05