Trace number 1776660

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) 2212.05 141.495

General information on the benchmark

Nameschup-l2s-abp4-1-k31.cnf
MD5SUM2ec4066bd8381455b1990aa40b382ff0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark26.99
Satisfiable
(Un)Satisfiability was proved
Number of variables14809
Number of clauses48483
Sum of the clauses size123522
Maximum clause length33
Minimum clause length1
Number of clauses of size 136
Number of clauses of size 224983
Number of clauses of size 322191
Number of clauses of size 4589
Number of clauses of size 5403
Number of clauses of size over 5281

Solver Data 

0.00/0.08	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776660-1244936060.cnf 
0.00/0.08	c Using SATTIMEOUT of 10000
0.00/0.08	c Using SATRAM of 2047
0.00/0.08	c Size of subset node = 16
0.00/0.08	c Variables = 14809
0.00/0.08	c Clauses = 48483
0.00/0.08	c Literals = 123522
0.00/0.08	c Reduced size:
0.00/0.08	c Variables = 14809
0.00/0.08	c Clauses = 47636
0.00/0.08	c Literals = 121181
0.00/0.08	c a2
0.10/0.14	c a1
2.20/2.23	c Independent sub-problems = 1
2.20/2.23	c Sub-problem with 14611 variables and 47636 clauses
2.20/2.23	c using permutation method 4
2.20/2.23	c count = 1
2.20/2.23	c Ordering finished 2.210 seconds
2.20/2.23	c mapped 2.220 seconds
2.20/2.23	c permuted 2.220 seconds
2.20/2.23	c about to sort
2.20/2.24	c sorted
2.58/2.69	c clauses now 47636
2.58/2.69	c init finished 2.510 seconds
2.58/2.69	c tree built 2.670 seconds
2.58/2.69	c 
2.58/2.69	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
2.58/2.69	c ---------------------------------|----------------------------------|------------------------------------------------------
2.58/2.69	c ................................ | ..........                       |                        2.7           0.0             
2.58/2.69	c ................................ | ..........                     1 |                        2.7           0.4             
2.58/2.69	c ................................ | ..........                     2 |                        2.7           0.7             
2.58/2.69	c ................................ | ..........                     3 |                        2.7           1.1             
2.58/2.69	c ................................ | ..........                     4 |                        2.7           1.5             
2.58/2.69	c ................................ | ..........                     5 |                        2.7           1.9             
2.69/2.70	c ................................ | ..........                  1000 |                        2.8         363.6          476
315.31/23.31	c ................................ | ..........               2073000 | 97080                200.5       10338.6      2756454
621.85/43.06	c ................................ | ..........               3525000 | 170584               400.1        8810.7      8425220
928.82/62.89	c ................................ | ..........               4724000 | 244751               600.1        7871.9     14497309
1208.87/80.73	c ................................ | ..........               5801000 | 315856               800.4        7247.6     23271865
1472.98/97.61	c ................................ | *.........               6648000 | 377567              1000.4        6645.5     34606478
1721.90/113.12	c ................................ | *.........               7166000 | 416523              1200.2        5970.9     48535606
1947.23/126.24	c ................................ | *.........               7423000 | 438172              1400.5        5300.4     69621024
2170.78/139.08	c ................................ | *.........               7565000 | 451660              1601.3        4724.3     91424973

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

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


[startup+0 s]
/proc/loadavg: 15.93 14.77 9.57 2/184 19973
/proc/meminfo: memFree=19060324/36427776 swapFree=4348/7672
[pid=19973] ppid=19971 vsize=1540 CPUtime=0
/proc/19973/stat : 19973 (ttsth-5-0) R 19971 19973 15497 0 -1 4202496 279 0 0 0 0 0 0 0 20 0 1 0 652912378 1576960 235 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134732614 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/19973/statm: 385 236 75 177 0 207 0

[startup+0.081833 s]
/proc/loadavg: 15.93 14.77 9.57 2/184 19973
/proc/meminfo: memFree=19060324/36427776 swapFree=4348/7672
[pid=19973] ppid=19971 vsize=4972 CPUtime=0.08
/proc/19973/stat : 19973 (ttsth-5-0) R 19971 19973 15497 0 -1 4202496 1096 0 0 0 8 0 0 0 20 0 1 0 652912378 5091328 1052 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134754878 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/19973/statm: 1243 1054 76 177 0 1065 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4972

[startup+0.10182 s]
/proc/loadavg: 15.93 14.77 9.57 2/184 19973
/proc/meminfo: memFree=19060324/36427776 swapFree=4348/7672
[pid=19973] ppid=19971 vsize=8008 CPUtime=0.1
/proc/19973/stat : 19973 (ttsth-5-0) R 19971 19973 15497 0 -1 4202496 1846 0 0 0 10 0 0 0 20 0 1 0 652912378 8200192 1802 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134749353 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/19973/statm: 2002 1802 76 177 0 1824 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8008

[startup+0.301498 s]
/proc/loadavg: 15.93 14.77 9.57 2/184 19973
/proc/meminfo: memFree=19060324/36427776 swapFree=4348/7672
[pid=19973] ppid=19971 vsize=9980 CPUtime=0.3
/proc/19973/stat : 19973 (ttsth-5-0) R 19971 19973 15497 0 -1 4202496 2471 0 0 0 28 2 0 0 20 0 1 0 652912378 10219520 2332 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134555279 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/19973/statm: 2495 2332 77 177 0 2317 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9980

[startup+0.701854 s]
/proc/loadavg: 15.93 14.77 9.57 2/184 19973
/proc/meminfo: memFree=19060324/36427776 swapFree=4348/7672
[pid=19973] ppid=19971 vsize=10132 CPUtime=0.7
/proc/19973/stat : 19973 (ttsth-5-0) R 19971 19973 15497 0 -1 4202496 2509 0 0 0 68 2 0 0 20 0 1 0 652912378 10375168 2370 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134732614 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/19973/statm: 2533 2370 77 177 0 2355 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 10132

[startup+1.50194 s]
/proc/loadavg: 15.93 14.77 9.57 2/185 19974
/proc/meminfo: memFree=19050680/36427776 swapFree=4312/17332
[pid=19973] ppid=19971 vsize=10684 CPUtime=1.5
/proc/19973/stat : 19973 (ttsth-5-0) R 19971 19973 15497 0 -1 4202496 2600 0 0 0 148 2 0 0 20 0 1 0 652912378 10940416 2461 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134555272 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/19973/statm: 2671 2461 77 177 0 2493 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 10684

[startup+3.10472 s]
/proc/loadavg: 15.93 14.77 9.57 2/185 19974
/proc/meminfo: memFree=19049784/36427776 swapFree=4324/18312
[pid=19973] ppid=19971 vsize=311472 CPUtime=8.66
/proc/19973/stat : 19973 (ttsth-5-0) S 19971 19973 15497 0 -1 4202496 46347 0 0 0 355 511 0 0 20 0 17 0 652912378 318947328 46161 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19973/statm: 77868 46162 95 177 0 77690 0
Current children cumulated CPU time (s) 8.66
Current children cumulated vsize (KiB) 311472

[startup+6.30792 s]
/proc/loadavg: 15.93 14.79 9.61 16/201 19990
/proc/meminfo: memFree=18857420/36427776 swapFree=4692/212608
[pid=19973] ppid=19971 vsize=332148 CPUtime=55.06
/proc/19973/stat : 19973 (ttsth-5-0) S 19971 19973 15497 0 -1 4202496 53599 0 0 0 1900 3606 0 0 20 0 17 0 652912378 340119552 53413 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19973/statm: 83037 53413 95 177 0 82859 0
[pid=19973/tid=19975] ppid=19971 vsize=332148 CPUtime=3.58
/proc/19973/task/19975/stat : 19975 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 1332 0 0 0 354 4 0 0 20 0 17 0 652912647 340119552 53413 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134591171 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=332148 CPUtime=3.48
/proc/19973/task/19976/stat : 19976 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 611 0 0 0 96 252 0 0 20 0 17 0 652912647 340119552 53413 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=19973/tid=19977] ppid=19971 vsize=332148 CPUtime=1.82
/proc/19973/task/19977/stat : 19977 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 423 0 0 0 48 134 0 0 20 0 17 0 652912647 340119552 53413 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=19973/tid=19978] ppid=19971 vsize=332148 CPUtime=3.5
/proc/19973/task/19978/stat : 19978 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 580 0 0 0 98 252 0 0 20 0 17 0 652912647 340119552 53413 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=19973/tid=19979] ppid=19971 vsize=332148 CPUtime=3.46
/proc/19973/task/19979/stat : 19979 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 756 0 0 0 92 254 0 0 20 0 17 0 652912647 340119552 53413 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=19973/tid=19980] ppid=19971 vsize=332148 CPUtime=1.82
/proc/19973/task/19980/stat : 19980 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 386 0 0 0 30 152 0 0 20 0 17 0 652912647 340119552 53413 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134680499 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=19973/tid=19981] ppid=19971 vsize=332148 CPUtime=3.48
/proc/19973/task/19981/stat : 19981 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 621 0 0 0 122 226 0 0 20 0 17 0 652912647 340119552 53413 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=19973/tid=19982] ppid=19971 vsize=332148 CPUtime=3.46
/proc/19973/task/19982/stat : 19982 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 756 0 0 0 86 260 0 0 20 0 17 0 652912648 340119552 53413 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=19973/tid=19983] ppid=19971 vsize=332148 CPUtime=3.44
/proc/19973/task/19983/stat : 19983 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 551 0 0 0 94 250 0 0 20 0 17 0 652912648 340119552 53413 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=19973/tid=19984] ppid=19971 vsize=332148 CPUtime=3.48
/proc/19973/task/19984/stat : 19984 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 535 0 0 0 82 266 0 0 20 0 17 0 652912648 340119552 53413 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=19973/tid=19985] ppid=19971 vsize=332148 CPUtime=3.48
/proc/19973/task/19985/stat : 19985 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 653 0 0 0 100 248 0 0 20 0 17 0 652912648 340119552 53413 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=19973/tid=19986] ppid=19971 vsize=332148 CPUtime=3.46
/proc/19973/task/19986/stat : 19986 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 626 0 0 0 94 252 0 0 20 0 17 0 652912648 340119552 53413 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=19973/tid=19987] ppid=19971 vsize=332148 CPUtime=3.46
/proc/19973/task/19987/stat : 19987 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 588 0 0 0 88 258 0 0 20 0 17 0 652912648 340119552 53413 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=19973/tid=19988] ppid=19971 vsize=332148 CPUtime=3.48
/proc/19973/task/19988/stat : 19988 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 699 0 0 0 88 260 0 0 20 0 17 0 652912648 340119552 53413 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=19973/tid=19989] ppid=19971 vsize=332148 CPUtime=3.38
/proc/19973/task/19989/stat : 19989 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 653 0 0 0 86 252 0 0 20 0 17 0 652912649 340119552 53413 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=19973/tid=19990] ppid=19971 vsize=332148 CPUtime=3.46
/proc/19973/task/19990/stat : 19990 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 437 0 0 0 82 264 0 0 20 0 17 0 652912649 340119552 53413 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 55.06
Current children cumulated vsize (KiB) 332148

[startup+12.7084 s]
/proc/loadavg: 15.94 14.81 9.64 16/201 19990
/proc/meminfo: memFree=18823276/36427776 swapFree=4692/245984
[pid=19973] ppid=19971 vsize=358052 CPUtime=149.14
/proc/19973/stat : 19973 (ttsth-5-0) S 19971 19973 15497 0 -1 4202496 59971 0 0 0 5147 9767 0 0 20 0 17 0 652912378 366645248 59785 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19973/statm: 89513 59785 95 177 0 89335 0
[pid=19973/tid=19975] ppid=19971 vsize=358052 CPUtime=9.96
/proc/19973/task/19975/stat : 19975 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 2113 0 0 0 988 8 0 0 20 0 17 0 652912647 366645248 59785 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134680464 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=358052 CPUtime=9.74
/proc/19973/task/19976/stat : 19976 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 909 0 0 0 266 708 0 0 20 0 17 0 652912647 366645248 59785 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=19973/tid=19977] ppid=19971 vsize=358052 CPUtime=5
/proc/19973/task/19977/stat : 19977 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 816 0 0 0 150 350 0 0 20 0 17 0 652912647 366645248 59785 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=19973/tid=19978] ppid=19971 vsize=358052 CPUtime=9.74
/proc/19973/task/19978/stat : 19978 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 1037 0 0 0 278 696 0 0 20 0 17 0 652912647 366645248 59785 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=19973/tid=19979] ppid=19971 vsize=358052 CPUtime=9.72
/proc/19973/task/19979/stat : 19979 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 963 0 0 0 250 722 0 0 20 0 17 0 652912647 366645248 59785 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=19973/tid=19980] ppid=19971 vsize=358052 CPUtime=5.04
/proc/19973/task/19980/stat : 19980 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 698 0 0 0 142 362 0 0 20 0 17 0 652912647 366645248 59785 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=19973/tid=19981] ppid=19971 vsize=358052 CPUtime=9.74
/proc/19973/task/19981/stat : 19981 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 894 0 0 0 324 650 0 0 20 0 17 0 652912647 366645248 59785 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=19973/tid=19982] ppid=19971 vsize=358052 CPUtime=9.72
/proc/19973/task/19982/stat : 19982 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 1003 0 0 0 278 694 0 0 20 0 17 0 652912648 366645248 59785 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=19973/tid=19983] ppid=19971 vsize=358052 CPUtime=9.68
/proc/19973/task/19983/stat : 19983 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 825 0 0 0 270 698 0 0 20 0 17 0 652912648 366645248 59785 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=19973/tid=19984] ppid=19971 vsize=358052 CPUtime=9.74
/proc/19973/task/19984/stat : 19984 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 1090 0 0 0 276 698 0 0 20 0 17 0 652912648 366645248 59785 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=19973/tid=19985] ppid=19971 vsize=358052 CPUtime=9.76
/proc/19973/task/19985/stat : 19985 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 1011 0 0 0 282 694 0 0 20 0 17 0 652912648 366645248 59785 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=19973/tid=19986] ppid=19971 vsize=358052 CPUtime=9.74
/proc/19973/task/19986/stat : 19986 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 905 0 0 0 280 694 0 0 20 0 17 0 652912648 366645248 59785 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=19973/tid=19987] ppid=19971 vsize=358052 CPUtime=9.76
/proc/19973/task/19987/stat : 19987 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 1482 0 0 0 298 678 0 0 20 0 17 0 652912648 366645248 59785 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=19973/tid=19988] ppid=19971 vsize=358052 CPUtime=9.74
/proc/19973/task/19988/stat : 19988 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 956 0 0 0 268 706 0 0 20 0 17 0 652912648 366645248 59785 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=19973/tid=19989] ppid=19971 vsize=358052 CPUtime=9.5
/proc/19973/task/19989/stat : 19989 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 734 0 0 0 256 694 0 0 20 0 17 0 652912649 366645248 59785 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=19973/tid=19990] ppid=19971 vsize=358052 CPUtime=9.72
/proc/19973/task/19990/stat : 19990 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 1143 0 0 0 280 692 0 0 20 0 17 0 652912649 366645248 59785 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 149.14
Current children cumulated vsize (KiB) 358052

[startup+25.5042 s]
/proc/loadavg: 15.95 14.87 9.74 17/201 19990
/proc/meminfo: memFree=18775100/36427776 swapFree=4692/293828
[pid=19973] ppid=19971 vsize=406872 CPUtime=349.71
/proc/19973/stat : 19973 (ttsth-5-0) S 19971 19973 15497 0 -1 4202496 72467 0 0 0 12278 22693 0 0 20 0 17 0 652912378 416636928 72281 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19973/statm: 101718 72281 95 177 0 101540 0
[pid=19973/tid=19975] ppid=19971 vsize=406872 CPUtime=22.74
/proc/19973/task/19975/stat : 19975 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 3994 0 0 0 2260 14 0 0 20 0 17 0 652912647 416636928 72281 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=406872 CPUtime=22.24
/proc/19973/task/19976/stat : 19976 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 1143 0 0 0 618 1606 0 0 20 0 17 0 652912647 416636928 72281 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=19973/tid=19977] ppid=19971 vsize=406872 CPUtime=17.54
/proc/19973/task/19977/stat : 19977 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 1542 0 0 0 570 1184 0 0 20 0 17 0 652912647 416636928 72281 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=19973/tid=19978] ppid=19971 vsize=406872 CPUtime=22.26
/proc/19973/task/19978/stat : 19978 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 2300 0 0 0 716 1510 0 0 20 0 17 0 652912647 416636928 72281 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=19973/tid=19979] ppid=19971 vsize=406872 CPUtime=22.28
/proc/19973/task/19979/stat : 19979 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 1249 0 0 0 598 1630 0 0 20 0 17 0 652912647 416636928 72281 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=19973/tid=19980] ppid=19971 vsize=406872 CPUtime=17.5
/proc/19973/task/19980/stat : 19980 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 1472 0 0 0 524 1226 0 0 20 0 17 0 652912647 416636928 72281 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=19973/tid=19981] ppid=19971 vsize=406872 CPUtime=22.3
/proc/19973/task/19981/stat : 19981 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 2222 0 0 0 776 1454 0 0 20 0 17 0 652912647 416636928 72281 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=19973/tid=19982] ppid=19971 vsize=406872 CPUtime=22.26
/proc/19973/task/19982/stat : 19982 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 2014 0 0 0 658 1568 0 0 20 0 17 0 652912648 416636928 72281 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=19973/tid=19983] ppid=19971 vsize=406872 CPUtime=22.2
/proc/19973/task/19983/stat : 19983 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 1217 0 0 0 634 1586 0 0 20 0 17 0 652912648 416636928 72281 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=19973/tid=19984] ppid=19971 vsize=406872 CPUtime=22.28
/proc/19973/task/19984/stat : 19984 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 1366 0 0 0 632 1596 0 0 20 0 17 0 652912648 416636928 72281 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=19973/tid=19985] ppid=19971 vsize=406872 CPUtime=22.32
/proc/19973/task/19985/stat : 19985 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 1653 0 0 0 676 1556 0 0 20 0 17 0 652912648 416636928 72281 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=19973/tid=19986] ppid=19971 vsize=406872 CPUtime=22.32
/proc/19973/task/19986/stat : 19986 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 1664 0 0 0 706 1526 0 0 20 0 17 0 652912648 416636928 72281 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=19973/tid=19987] ppid=19971 vsize=406872 CPUtime=22.32
/proc/19973/task/19987/stat : 19987 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 2206 0 0 0 690 1542 0 0 20 0 17 0 652912648 416636928 72281 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=19973/tid=19988] ppid=19971 vsize=406872 CPUtime=22.28
/proc/19973/task/19988/stat : 19988 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 1184 0 0 0 616 1612 0 0 20 0 17 0 652912648 416636928 72281 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134552732 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=19973/tid=19989] ppid=19971 vsize=406872 CPUtime=21.74
/proc/19973/task/19989/stat : 19989 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 1598 0 0 0 630 1544 0 0 20 0 17 0 652912649 416636928 72281 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=19973/tid=19990] ppid=19971 vsize=406872 CPUtime=22.28
/proc/19973/task/19990/stat : 19990 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 2251 0 0 0 712 1516 0 0 20 0 17 0 652912649 416636928 72281 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134749345 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 349.71
Current children cumulated vsize (KiB) 406872

[startup+51.1048 s]
/proc/loadavg: 15.90 14.94 9.90 16/201 19995
/proc/meminfo: memFree=18656072/36427776 swapFree=4692/413032
[pid=19973] ppid=19971 vsize=529156 CPUtime=745.34
/proc/19973/stat : 19973 (ttsth-5-0) S 19971 19973 15497 0 -1 4202496 102002 0 0 0 27171 47363 0 0 20 0 17 0 652912378 541855744 101816 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19973/statm: 132289 101816 95 177 0 132111 0
[pid=19973/tid=19975] ppid=19971 vsize=529156 CPUtime=48.31
/proc/19973/task/19975/stat : 19975 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 9134 0 0 0 4807 24 0 0 20 0 17 0 652912647 541855744 101816 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=529156 CPUtime=47.27
/proc/19973/task/19976/stat : 19976 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 1981 0 0 0 1388 3339 0 0 20 0 17 0 652912647 541855744 101817 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=19973/tid=19977] ppid=19971 vsize=529156 CPUtime=42.68
/proc/19973/task/19977/stat : 19977 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 4098 0 0 0 1544 2724 0 0 20 0 17 0 652912647 541855744 101817 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=19973/tid=19978] ppid=19971 vsize=529156 CPUtime=47.38
/proc/19973/task/19978/stat : 19978 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 5405 0 0 0 1670 3068 0 0 20 0 17 0 652912647 541855744 101818 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=19973/tid=19979] ppid=19971 vsize=529156 CPUtime=46.9
/proc/19973/task/19979/stat : 19979 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 3113 0 0 0 1400 3290 0 0 20 0 17 0 652912647 541855744 101818 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=19973/tid=19980] ppid=19971 vsize=529156 CPUtime=42.08
/proc/19973/task/19980/stat : 19980 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 3197 0 0 0 1388 2820 0 0 20 0 17 0 652912647 541855744 101818 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=19973/tid=19981] ppid=19971 vsize=529156 CPUtime=45.46
/proc/19973/task/19981/stat : 19981 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 3538 0 0 0 1482 3064 0 0 20 0 17 0 652912647 541855744 101818 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=19973/tid=19982] ppid=19971 vsize=529156 CPUtime=47.3
/proc/19973/task/19982/stat : 19982 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 2581 0 0 0 1360 3370 0 0 20 0 17 0 652912648 541855744 101818 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134519936 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=19973/tid=19983] ppid=19971 vsize=529156 CPUtime=47.28
/proc/19973/task/19983/stat : 19983 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 2570 0 0 0 1446 3282 0 0 20 0 17 0 652912648 541855744 101818 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=19973/tid=19984] ppid=19971 vsize=529156 CPUtime=47.32
/proc/19973/task/19984/stat : 19984 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 2502 0 0 0 1400 3332 0 0 20 0 17 0 652912648 541855744 101818 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=19973/tid=19985] ppid=19971 vsize=529156 CPUtime=47.43
/proc/19973/task/19985/stat : 19985 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 2697 0 0 0 1466 3277 0 0 20 0 17 0 652912648 541855744 101818 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=19973/tid=19986] ppid=19971 vsize=529156 CPUtime=47.28
/proc/19973/task/19986/stat : 19986 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 5734 0 0 0 1690 3038 0 0 20 0 17 0 652912648 541855744 101818 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134550989 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=19973/tid=19987] ppid=19971 vsize=529156 CPUtime=47.5
/proc/19973/task/19987/stat : 19987 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 4333 0 0 0 1614 3136 0 0 20 0 17 0 652912648 541855744 101818 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=19973/tid=19988] ppid=19971 vsize=529156 CPUtime=47.43
/proc/19973/task/19988/stat : 19988 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 2422 0 0 0 1432 3311 0 0 20 0 17 0 652912648 541855744 101818 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=19973/tid=19989] ppid=19971 vsize=529156 CPUtime=44.6
/proc/19973/task/19989/stat : 19989 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 2580 0 0 0 1358 3102 0 0 20 0 17 0 652912649 541855744 101819 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=19973/tid=19990] ppid=19971 vsize=529156 CPUtime=46.34
/proc/19973/task/19990/stat : 19990 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 2725 0 0 0 1466 3168 0 0 20 0 17 0 652912649 541855744 101819 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 745.34
Current children cumulated vsize (KiB) 529156

[startup+102.314 s]
/proc/loadavg: 15.96 15.10 10.22 17/201 19995
/proc/meminfo: memFree=18172544/36427776 swapFree=4692/895248
[pid=19973] ppid=19971 vsize=1032308 CPUtime=1546.66
/proc/19973/stat : 19973 (ttsth-5-0) S 19971 19973 15497 0 -1 4202496 222017 0 0 0 69730 84936 0 0 20 0 17 0 652912378 1057083392 221831 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19973/statm: 258077 221831 95 177 0 257899 0
[pid=19973/tid=19975] ppid=19971 vsize=1032308 CPUtime=99.52
/proc/19973/task/19975/stat : 19975 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 31753 0 0 0 9890 62 0 0 20 0 17 0 652912647 1057083392 221831 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134587921 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=1032308 CPUtime=97.32
/proc/19973/task/19976/stat : 19976 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 12483 0 0 0 4058 5674 0 0 20 0 17 0 652912647 1057083392 221832 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=19973/tid=19977] ppid=19971 vsize=1032308 CPUtime=92.56
/proc/19973/task/19977/stat : 19977 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 7168 0 0 0 3719 5537 0 0 20 0 17 0 652912647 1057083392 221832 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=19973/tid=19978] ppid=19971 vsize=1032308 CPUtime=97.92
/proc/19973/task/19978/stat : 19978 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 22954 0 0 0 5118 4674 0 0 20 0 17 0 652912647 1057083392 221832 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=19973/tid=19979] ppid=19971 vsize=1032308 CPUtime=97.01
/proc/19973/task/19979/stat : 19979 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 8464 0 0 0 4054 5647 0 0 20 0 17 0 652912647 1057083392 221832 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=19973/tid=19980] ppid=19971 vsize=1032308 CPUtime=92.28
/proc/19973/task/19980/stat : 19980 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 14820 0 0 0 4188 5040 0 0 20 0 17 0 652912647 1057083392 221832 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=19973/tid=19981] ppid=19971 vsize=1032308 CPUtime=95.69
/proc/19973/task/19981/stat : 19981 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 11441 0 0 0 4363 5206 0 0 20 0 17 0 652912647 1057083392 221832 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=19973/tid=19982] ppid=19971 vsize=1032308 CPUtime=97.29
/proc/19973/task/19982/stat : 19982 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 8662 0 0 0 3777 5952 0 0 20 0 17 0 652912648 1057083392 221832 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=19973/tid=19983] ppid=19971 vsize=1032308 CPUtime=97.41
/proc/19973/task/19983/stat : 19983 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 9063 0 0 0 4031 5710 0 0 20 0 17 0 652912648 1057083392 221832 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134591697 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=19973/tid=19984] ppid=19971 vsize=1032308 CPUtime=97.31
/proc/19973/task/19984/stat : 19984 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 7722 0 0 0 3703 6028 0 0 20 0 17 0 652912648 1057083392 221832 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=19973/tid=19985] ppid=19971 vsize=1032308 CPUtime=97.44
/proc/19973/task/19985/stat : 19985 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 6129 0 0 0 3705 6039 0 0 20 0 17 0 652912648 1057083392 221832 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=19973/tid=19986] ppid=19971 vsize=1032308 CPUtime=96.17
/proc/19973/task/19986/stat : 19986 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 10699 0 0 0 3860 5757 0 0 20 0 17 0 652912648 1057083392 221832 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=19973/tid=19987] ppid=19971 vsize=1032308 CPUtime=97.86
/proc/19973/task/19987/stat : 19987 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 13619 0 0 0 4458 5328 0 0 20 0 17 0 652912648 1057083392 221832 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=19973/tid=19988] ppid=19971 vsize=1032308 CPUtime=97.43
/proc/19973/task/19988/stat : 19988 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 4529 0 0 0 3536 6207 0 0 20 0 17 0 652912648 1057083392 221832 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134591211 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=19973/tid=19989] ppid=19971 vsize=1032308 CPUtime=94.4
/proc/19973/task/19989/stat : 19989 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 3700 0 0 0 3381 6059 0 0 20 0 17 0 652912649 1057083392 221832 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134551691 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=19973/tid=19990] ppid=19971 vsize=1032308 CPUtime=96.3
/proc/19973/task/19990/stat : 19990 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 5419 0 0 0 3633 5997 0 0 20 0 17 0 652912649 1057083392 221832 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1546.66
Current children cumulated vsize (KiB) 1032308



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+141.306 s]
/proc/loadavg: 15.88 15.18 10.45 17/201 19995
/proc/meminfo: memFree=17172568/36427776 swapFree=4692/1894680
[pid=19973] ppid=19971 vsize=2098772 CPUtime=2211.89
/proc/19973/stat : 19973 (ttsth-5-0) S 19971 19973 15497 0 -1 4202496 472284 0 0 0 133115 88074 0 0 20 0 17 0 652912378 2149142528 472098 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19973/statm: 524693 472098 95 177 0 524515 0
[pid=19973/tid=19975] ppid=19971 vsize=2098772 CPUtime=138.49
/proc/19973/task/19975/stat : 19975 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 52922 0 0 0 13759 90 0 0 20 0 17 0 652912647 2149142528 472100 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134562328 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=2098772 CPUtime=138.9
/proc/19973/task/19976/stat : 19976 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 28464 0 0 0 8008 5882 0 0 20 0 17 0 652912647 2149142528 472100 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=19973/tid=19977] ppid=19971 vsize=2098772 CPUtime=135.19
/proc/19973/task/19977/stat : 19977 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 24096 0 0 0 7741 5778 0 0 20 0 17 0 652912647 2149142528 472100 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=19973/tid=19978] ppid=19971 vsize=2098772 CPUtime=138.3
/proc/19973/task/19978/stat : 19978 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 39990 0 0 0 9041 4789 0 0 20 0 17 0 652912647 2149142528 472100 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=19973/tid=19979] ppid=19971 vsize=2098772 CPUtime=138.67
/proc/19973/task/19979/stat : 19979 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 23849 0 0 0 8051 5816 0 0 20 0 17 0 652912647 2149142528 472100 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134680474 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=19973/tid=19980] ppid=19971 vsize=2098772 CPUtime=133.37
/proc/19973/task/19980/stat : 19980 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 34340 0 0 0 8175 5162 0 0 20 0 17 0 652912647 2149142528 472101 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134589526 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=19973/tid=19981] ppid=19971 vsize=2098772 CPUtime=137.25
/proc/19973/task/19981/stat : 19981 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 31035 0 0 0 8383 5342 0 0 20 0 17 0 652912647 2149142528 472101 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=19973/tid=19982] ppid=19971 vsize=2098772 CPUtime=139.13
/proc/19973/task/19982/stat : 19982 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 21881 0 0 0 7727 6186 0 0 20 0 17 0 652912648 2149142528 472102 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=19973/tid=19983] ppid=19971 vsize=2098772 CPUtime=138.16
/proc/19973/task/19983/stat : 19983 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 19168 0 0 0 7780 6036 0 0 20 0 17 0 652912648 2149142528 472102 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=19973/tid=19984] ppid=19971 vsize=2098772 CPUtime=140.09
/proc/19973/task/19984/stat : 19984 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 27051 0 0 0 7804 6205 0 0 20 0 17 0 652912648 2149142528 472102 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=19973/tid=19985] ppid=19971 vsize=2098772 CPUtime=140.05
/proc/19973/task/19985/stat : 19985 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 21073 0 0 0 7714 6291 0 0 20 0 17 0 652912648 2149142528 472102 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=19973/tid=19986] ppid=19971 vsize=2098772 CPUtime=136.06
/proc/19973/task/19986/stat : 19986 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 22152 0 0 0 7574 6032 0 0 20 0 17 0 652912648 2149142528 472104 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=19973/tid=19987] ppid=19971 vsize=2098772 CPUtime=139.36
/proc/19973/task/19987/stat : 19987 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 31360 0 0 0 8460 5476 0 0 20 0 17 0 652912648 2149142528 472104 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=19973/tid=19988] ppid=19971 vsize=2098772 CPUtime=140.12
/proc/19973/task/19988/stat : 19988 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 16550 0 0 0 7547 6465 0 0 20 0 17 0 652912648 2149142528 472105 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=19973/tid=19989] ppid=19971 vsize=2098772 CPUtime=137.19
/proc/19973/task/19989/stat : 19989 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 15912 0 0 0 7447 6272 0 0 20 0 17 0 652912649 2149142528 472105 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=19973/tid=19990] ppid=19971 vsize=2098772 CPUtime=138.75
/proc/19973/task/19990/stat : 19990 (ttsth-5-0) R 19971 19973 15497 0 -1 4202560 19053 0 0 0 7644 6231 0 0 20 0 17 0 652912649 2149142528 472105 18446744073709551615 134512640 135237372 4294207008 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 2211.89
Current children cumulated vsize (KiB) 2098772

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

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

[startup+141.426 s]
/proc/loadavg: 15.88 15.18 10.45 17/201 19995
/proc/meminfo: memFree=17172568/36427776 swapFree=4692/1894680
[pid=19973] ppid=19971 vsize=0 CPUtime=2212.05
/proc/19973/stat : 19973 (ttsth-5-0) Z 19971 19973 15497 0 -1 4203532 472401 0 0 0 133131 88074 0 0 20 0 2 0 652912378 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19973/statm: 0 0 0 0 0 0 0
[pid=19973/tid=19980] ppid=19971 vsize=0 CPUtime=133.37
/proc/19973/task/19980/stat : 19980 (ttsth-5-0) R 19971 19973 15497 0 -1 4203588 34348 0 0 0 8175 5162 0 0 20 0 2 0 652912647 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2212.05
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19973 and gives
#  childrusage.ru_utime.tv_sec=1331
#  childrusage.ru_utime.tv_usec=311201
#  childrusage.ru_stime.tv_sec=880
#  childrusage.ru_stime.tv_usec=727042
# CPU time returned by wait4() is 2212.04
# while last known CPU time is 2212.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 141.495
CPU time (s): 2212.05
CPU user time (s): 1331.31
CPU system time (s): 880.74
CPU usage (%): 1563.34
Max. virtual memory (cumulated for all children) (KiB): 2098772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1331.31
system time used= 880.727
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 472401
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= 239327
involuntary context switches= 5587

runsolver used 0.692043 second user time and 2.21214 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 01:34:20
IDJOB=1776660
IDBENCH=69566
IDSOLVER=634
FILE ID=xenhost3-49/1776660-1244936060
PBS_JOBID=
Free space on /tmp= 7025 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT_RACE08/cnf/schup-l2s-abp4-1-k31.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776660-1244936060/watcher-1776660-1244936060 -o /tmp/evaluation-result-1776660-1244936060/solver-1776660-1244936060 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776660-1244936060.cnf

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

MD5SUM BENCH= 2ec4066bd8381455b1990aa40b382ff0
RANDOM SEED= 881198227

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:      19060324 kB
Buffers:        473900 kB
Cached:       14116140 kB
SwapCached:          0 kB
Active:        4120020 kB
Inactive:     10478360 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1364 kB
Writeback:           0 kB
AnonPages:        7672 kB
Mapped:           3684 kB
Slab:           717388 kB
SReclaimable:   690632 kB
SUnreclaim:      26756 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29856 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7025 MiB
End job on xenhost3-49 at 2009-06-14 01:36:44