Trace number 1776360

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) 2406.44 152.001

General information on the benchmark

Nameindustrial/grieu/
vmpc_29.cnf
MD5SUM1e81246225c81a67548d334d1dfcc24b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark113.29
Satisfiable
(Un)Satisfiability was proved
Number of variables841
Number of clauses120147
Sum of the clauses size314766
Maximum clause length29
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 247183
Number of clauses of size 372906
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 558

Solver Data 

0.10/0.12	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776360-1244930271.cnf 
0.10/0.12	c Using SATTIMEOUT of 10000
0.10/0.12	c Using SATRAM of 2047
0.10/0.12	c Size of subset node = 16
0.10/0.12	c Variables = 841
0.10/0.12	c Clauses = 120147
0.10/0.12	c Literals = 314766
0.10/0.12	c Reduced size:
0.10/0.12	c Variables = 841
0.10/0.12	c Clauses = 120147
0.10/0.12	c Literals = 314766
0.10/0.12	c a2
0.30/0.31	c a1
0.60/0.68	c Independent sub-problems = 1
0.60/0.68	c Sub-problem with 841 variables and 120147 clauses
0.60/0.68	c using permutation method 4
0.60/0.68	c count = 1
0.60/0.68	c Ordering finished 0.640 seconds
0.60/0.68	c mapped 0.680 seconds
0.60/0.68	c permuted 0.680 seconds
0.60/0.68	c about to sort
0.70/0.71	c sorted
1.20/1.25	c clauses now 120147
1.20/1.25	c init finished 0.720 seconds
1.20/1.25	c tree built 1.240 seconds
1.20/1.25	c 
1.20/1.25	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
1.20/1.25	c ---------------------------------|----------------------------------|------------------------------------------------------
1.20/1.25	c ................................ | ..........                       |                        1.2           0.0             
1.20/1.25	c ................................ | ..........                     1 |                        1.2           0.8            1
1.20/1.25	c ................................ | ..........                     2 |                        1.2           1.6            1
1.20/1.25	c ................................ | ..........                     3 |                        1.2           2.4            4
1.20/1.25	c ................................ | ..........                     4 |                        1.2           3.2            4
1.20/1.25	c ................................ | ..........                     5 |                        1.2           4.0            4
4.82/1.51	c ................................ | ..........                  1000 | 3                      3.2         310.6        10569
204.35/14.09	c ................................ | ..........                 52000 | 1982                 203.5         255.5     13390775
405.59/26.64	c ................................ | ..........                 93000 | 3568                 404.0         230.2     26652250
608.28/39.34	c ................................ | ..........                128000 | 5023                 606.9         210.9     38596820
803.26/51.52	c ................................ | ..........                156000 | 6127                 801.6         194.6     49334047
1002.94/64.10	c ................................ | *.........                180000 | 7176                1002.6         179.5     58977426
1212.29/77.14	c ................................ | *.........                199000 | 8343                1211.1         164.3     67957532
1405.51/89.21	c ................................ | *.........                215000 | 9446                1404.0         153.1     75875524
1602.10/101.55	c ................................ | *.........                230000 | 10353               1601.2         143.6     83597594
1803.40/114.12	c ................................ | *.........                243000 | 11388               1802.2         134.8     91084824
2011.16/127.19	c ................................ | **........                255000 | 12598               2011.1         126.8     98454015

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-1776360-1244930271/watcher-1776360-1244930271 -o /tmp/evaluation-result-1776360-1244930271/solver-1776360-1244930271 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776360-1244930271.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.79 15.08 10.77 2/184 18933
/proc/meminfo: memFree=19062160/36427776 swapFree=3932/7304
[pid=18933] ppid=18931 vsize=1548 CPUtime=0
/proc/18933/stat : 18933 (ttsth-5-0) R 18931 18933 15497 0 -1 4202496 273 0 0 0 0 0 0 0 20 0 1 0 652333459 1585152 230 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134732614 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/18933/statm: 387 230 74 177 0 209 0

[startup+0.091963 s]
/proc/loadavg: 15.79 15.08 10.77 2/184 18933
/proc/meminfo: memFree=19062160/36427776 swapFree=3932/7304
[pid=18933] ppid=18931 vsize=7108 CPUtime=0.08
/proc/18933/stat : 18933 (ttsth-5-0) R 18931 18933 15497 0 -1 4202496 1636 0 0 0 8 0 0 0 20 0 1 0 652333459 7278592 1593 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134732614 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/18933/statm: 1777 1594 75 177 0 1599 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7108

[startup+0.10393 s]
/proc/loadavg: 15.79 15.08 10.77 2/184 18933
/proc/meminfo: memFree=19062160/36427776 swapFree=3932/7304
[pid=18933] ppid=18931 vsize=7900 CPUtime=0.1
/proc/18933/stat : 18933 (ttsth-5-0) R 18931 18933 15497 0 -1 4202496 1833 0 0 0 10 0 0 0 20 0 1 0 652333459 8089600 1790 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134732614 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/18933/statm: 1975 1791 75 177 0 1797 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7900

[startup+0.303945 s]
/proc/loadavg: 15.79 15.08 10.77 2/184 18933
/proc/meminfo: memFree=19062160/36427776 swapFree=3932/7304
[pid=18933] ppid=18931 vsize=15412 CPUtime=0.3
/proc/18933/stat : 18933 (ttsth-5-0) R 18931 18933 15497 0 -1 4202496 3727 0 0 0 28 2 0 0 20 0 1 0 652333459 15781888 3683 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134519994 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/18933/statm: 3853 3683 76 177 0 3675 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 15412

[startup+0.703994 s]
/proc/loadavg: 15.79 15.08 10.77 2/184 18933
/proc/meminfo: memFree=19062160/36427776 swapFree=3932/7304
[pid=18933] ppid=18931 vsize=17124 CPUtime=0.7
/proc/18933/stat : 18933 (ttsth-5-0) R 18931 18933 15497 0 -1 4202496 5516 0 0 0 66 4 0 0 20 0 1 0 652333459 17534976 4123 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134728912 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/18933/statm: 4281 4123 85 177 0 4103 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 17124

[startup+1.5053 s]
/proc/loadavg: 15.79 15.08 10.77 2/185 18934
/proc/meminfo: memFree=19034572/36427776 swapFree=4048/35572
[pid=18933] ppid=18931 vsize=178336 CPUtime=4.82
/proc/18933/stat : 18933 (ttsth-5-0) S 18931 18933 15497 0 -1 4202496 12291 0 0 0 163 319 0 0 20 0 17 0 652333459 182616064 10779 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18933/statm: 44584 10780 94 177 0 44406 0
Current children cumulated CPU time (s) 4.82
Current children cumulated vsize (KiB) 178336

[startup+3.10357 s]
/proc/loadavg: 15.65 15.06 10.79 17/201 18950
/proc/meminfo: memFree=19013572/36427776 swapFree=4676/59356
[pid=18933] ppid=18931 vsize=203824 CPUtime=31.11
/proc/18933/stat : 18933 (ttsth-5-0) S 18931 18933 15497 0 -1 4202496 18817 0 0 0 2751 360 0 0 20 0 17 0 652333459 208715776 17306 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18933/statm: 50956 17306 95 177 0 50778 0
[pid=18933/tid=18935] ppid=18931 vsize=203824 CPUtime=1.9
/proc/18933/task/18935/stat : 18935 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 370 0 0 0 166 24 0 0 20 0 17 0 652333585 208715776 17307 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134634403 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18933/tid=18936] ppid=18931 vsize=203824 CPUtime=1.86
/proc/18933/task/18936/stat : 18936 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 394 0 0 0 162 24 0 0 20 0 17 0 652333585 208715776 17307 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18933/tid=18937] ppid=18931 vsize=203824 CPUtime=1.88
/proc/18933/task/18937/stat : 18937 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 617 0 0 0 162 26 0 0 20 0 17 0 652333585 208715776 17308 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134588270 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18933/tid=18938] ppid=18931 vsize=203824 CPUtime=1.86
/proc/18933/task/18938/stat : 18938 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 503 0 0 0 164 22 0 0 20 0 17 0 652333585 208715776 17308 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18933/tid=18939] ppid=18931 vsize=203824 CPUtime=1.88
/proc/18933/task/18939/stat : 18939 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 493 0 0 0 166 22 0 0 20 0 17 0 652333585 208715776 17308 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134735855 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18933/tid=18940] ppid=18931 vsize=203824 CPUtime=1.76
/proc/18933/task/18940/stat : 18940 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 443 0 0 0 162 14 0 0 20 0 17 0 652333585 208715776 17308 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134590140 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18933/tid=18941] ppid=18931 vsize=203824 CPUtime=1.9
/proc/18933/task/18941/stat : 18941 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 480 0 0 0 166 24 0 0 20 0 17 0 652333585 208715776 17308 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18933/tid=18942] ppid=18931 vsize=203824 CPUtime=1.86
/proc/18933/task/18942/stat : 18942 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 258 0 0 0 168 18 0 0 20 0 17 0 652333585 208715776 17310 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134591086 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18933/tid=18943] ppid=18931 vsize=203824 CPUtime=1.88
/proc/18933/task/18943/stat : 18943 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 504 0 0 0 164 24 0 0 20 0 17 0 652333585 208715776 17310 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134592199 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18933/tid=18944] ppid=18931 vsize=203824 CPUtime=1.88
/proc/18933/task/18944/stat : 18944 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 492 0 0 0 164 24 0 0 20 0 17 0 652333585 208715776 17310 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18933/tid=18945] ppid=18931 vsize=203824 CPUtime=1.86
/proc/18933/task/18945/stat : 18945 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 391 0 0 0 166 20 0 0 20 0 17 0 652333585 208715776 17310 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18933/tid=18946] ppid=18931 vsize=203824 CPUtime=1.86
/proc/18933/task/18946/stat : 18946 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 397 0 0 0 162 24 0 0 20 0 17 0 652333585 208715776 17310 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134592184 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18933/tid=18947] ppid=18931 vsize=203824 CPUtime=1.88
/proc/18933/task/18947/stat : 18947 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 558 0 0 0 166 22 0 0 20 0 17 0 652333585 208715776 17310 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134561537 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18933/tid=18948] ppid=18931 vsize=203824 CPUtime=1.8
/proc/18933/task/18948/stat : 18948 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 535 0 0 0 158 22 0 0 20 0 17 0 652333585 208715776 17310 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18933/tid=18949] ppid=18931 vsize=203824 CPUtime=1.86
/proc/18933/task/18949/stat : 18949 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 409 0 0 0 166 20 0 0 20 0 17 0 652333586 208715776 17310 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134592059 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18933/tid=18950] ppid=18931 vsize=203824 CPUtime=1.84
/proc/18933/task/18950/stat : 18950 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 448 0 0 0 166 18 0 0 20 0 17 0 652333586 208715776 17310 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134592435 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 31.11
Current children cumulated vsize (KiB) 203824

[startup+6.30641 s]
/proc/loadavg: 15.65 15.06 10.79 17/201 18950
/proc/meminfo: memFree=18954380/36427776 swapFree=4692/116284
[pid=18933] ppid=18931 vsize=264312 CPUtime=81.92
/proc/18933/stat : 18933 (ttsth-5-0) S 18931 18933 15497 0 -1 4202496 33919 0 0 0 7832 360 0 0 20 0 17 0 652333459 270655488 32407 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18933/statm: 66078 32408 95 177 0 65900 0
[pid=18933/tid=18935] ppid=18931 vsize=264312 CPUtime=5.1
/proc/18933/task/18935/stat : 18935 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 910 0 0 0 486 24 0 0 20 0 17 0 652333585 270655488 32408 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134590133 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18933/tid=18936] ppid=18931 vsize=264312 CPUtime=5.06
/proc/18933/task/18936/stat : 18936 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 1091 0 0 0 482 24 0 0 20 0 17 0 652333585 270655488 32409 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18933/tid=18937] ppid=18931 vsize=264312 CPUtime=5.04
/proc/18933/task/18937/stat : 18937 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 1729 0 0 0 478 26 0 0 20 0 17 0 652333585 270655488 32410 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18933/tid=18938] ppid=18931 vsize=264312 CPUtime=5.04
/proc/18933/task/18938/stat : 18938 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 1507 0 0 0 482 22 0 0 20 0 17 0 652333585 270655488 32410 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18933/tid=18939] ppid=18931 vsize=264312 CPUtime=5.06
/proc/18933/task/18939/stat : 18939 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 1483 0 0 0 484 22 0 0 20 0 17 0 652333585 270655488 32411 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18933/tid=18940] ppid=18931 vsize=264312 CPUtime=4.92
/proc/18933/task/18940/stat : 18940 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 1614 0 0 0 478 14 0 0 20 0 17 0 652333585 270655488 32411 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18933/tid=18941] ppid=18931 vsize=264312 CPUtime=5.08
/proc/18933/task/18941/stat : 18941 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 1706 0 0 0 484 24 0 0 20 0 17 0 652333585 270655488 32411 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18933/tid=18942] ppid=18931 vsize=264312 CPUtime=5.02
/proc/18933/task/18942/stat : 18942 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 958 0 0 0 484 18 0 0 20 0 17 0 652333585 270655488 32411 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18933/tid=18943] ppid=18931 vsize=264312 CPUtime=5.04
/proc/18933/task/18943/stat : 18943 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 1501 0 0 0 480 24 0 0 20 0 17 0 652333585 270655488 32411 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18933/tid=18944] ppid=18931 vsize=264312 CPUtime=5.06
/proc/18933/task/18944/stat : 18944 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 1595 0 0 0 482 24 0 0 20 0 17 0 652333585 270655488 32411 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134592193 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18933/tid=18945] ppid=18931 vsize=264312 CPUtime=5.04
/proc/18933/task/18945/stat : 18945 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 1251 0 0 0 484 20 0 0 20 0 17 0 652333585 270655488 32411 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134591687 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18933/tid=18946] ppid=18931 vsize=264312 CPUtime=4.96
/proc/18933/task/18946/stat : 18946 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 1123 0 0 0 472 24 0 0 20 0 17 0 652333585 270655488 32411 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134592184 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18933/tid=18947] ppid=18931 vsize=264312 CPUtime=5.04
/proc/18933/task/18947/stat : 18947 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 1560 0 0 0 482 22 0 0 20 0 17 0 652333585 270655488 32411 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18933/tid=18948] ppid=18931 vsize=264312 CPUtime=5
/proc/18933/task/18948/stat : 18948 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 1549 0 0 0 478 22 0 0 20 0 17 0 652333585 270655488 32411 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18933/tid=18949] ppid=18931 vsize=264312 CPUtime=5.06
/proc/18933/task/18949/stat : 18949 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 1467 0 0 0 486 20 0 0 20 0 17 0 652333586 270655488 32411 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18933/tid=18950] ppid=18931 vsize=264312 CPUtime=5.02
/proc/18933/task/18950/stat : 18950 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 1351 0 0 0 484 18 0 0 20 0 17 0 652333586 270655488 32411 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 81.92
Current children cumulated vsize (KiB) 264312

[startup+12.7041 s]
/proc/loadavg: 15.70 15.09 10.84 17/201 18950
/proc/meminfo: memFree=18824408/36427776 swapFree=4692/247304
[pid=18933] ppid=18931 vsize=389424 CPUtime=183.6
/proc/18933/stat : 18933 (ttsth-5-0) S 18931 18933 15497 0 -1 4202496 64177 0 0 0 17964 396 0 0 20 0 17 0 652333459 398770176 62665 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18933/statm: 97356 62665 95 177 0 97178 0
[pid=18933/tid=18935] ppid=18931 vsize=389424 CPUtime=11.48
/proc/18933/task/18935/stat : 18935 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 2297 0 0 0 1124 24 0 0 20 0 17 0 652333585 398770176 62665 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18933/tid=18936] ppid=18931 vsize=389424 CPUtime=11.42
/proc/18933/task/18936/stat : 18936 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 2363 0 0 0 1118 24 0 0 20 0 17 0 652333585 398770176 62665 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18933/tid=18937] ppid=18931 vsize=389424 CPUtime=11.4
/proc/18933/task/18937/stat : 18937 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 3804 0 0 0 1112 28 0 0 20 0 17 0 652333585 398770176 62665 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18933/tid=18938] ppid=18931 vsize=389424 CPUtime=11.4
/proc/18933/task/18938/stat : 18938 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 3683 0 0 0 1112 28 0 0 20 0 17 0 652333585 398770176 62665 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18933/tid=18939] ppid=18931 vsize=389424 CPUtime=11.4
/proc/18933/task/18939/stat : 18939 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 3526 0 0 0 1118 22 0 0 20 0 17 0 652333585 398770176 62665 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18933/tid=18940] ppid=18931 vsize=389424 CPUtime=11.3
/proc/18933/task/18940/stat : 18940 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 3881 0 0 0 1112 18 0 0 20 0 17 0 652333585 398770176 62665 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134683146 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18933/tid=18941] ppid=18931 vsize=389424 CPUtime=11.42
/proc/18933/task/18941/stat : 18941 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 3852 0 0 0 1118 24 0 0 20 0 17 0 652333585 398770176 62665 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18933/tid=18942] ppid=18931 vsize=389424 CPUtime=11.4
/proc/18933/task/18942/stat : 18942 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 2242 0 0 0 1120 20 0 0 20 0 17 0 652333585 398770176 62665 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18933/tid=18943] ppid=18931 vsize=389424 CPUtime=11.42
/proc/18933/task/18943/stat : 18943 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 3297 0 0 0 1114 28 0 0 20 0 17 0 652333585 398770176 62665 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18933/tid=18944] ppid=18931 vsize=389424 CPUtime=11.4
/proc/18933/task/18944/stat : 18944 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 3942 0 0 0 1116 24 0 0 20 0 17 0 652333585 398770176 62665 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134592184 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18933/tid=18945] ppid=18931 vsize=389424 CPUtime=11.42
/proc/18933/task/18945/stat : 18945 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 2783 0 0 0 1118 24 0 0 20 0 17 0 652333585 398770176 62665 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134590129 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18933/tid=18946] ppid=18931 vsize=389424 CPUtime=11.18
/proc/18933/task/18946/stat : 18946 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 2591 0 0 0 1094 24 0 0 20 0 17 0 652333585 398770176 62666 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134561428 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18933/tid=18947] ppid=18931 vsize=389424 CPUtime=11.42
/proc/18933/task/18947/stat : 18947 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 3824 0 0 0 1116 26 0 0 20 0 17 0 652333585 398770176 62666 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18933/tid=18948] ppid=18931 vsize=389424 CPUtime=11.36
/proc/18933/task/18948/stat : 18948 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 3621 0 0 0 1110 26 0 0 20 0 17 0 652333585 398770176 62666 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18933/tid=18949] ppid=18931 vsize=389424 CPUtime=11.42
/proc/18933/task/18949/stat : 18949 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 3664 0 0 0 1118 24 0 0 20 0 17 0 652333586 398770176 62666 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18933/tid=18950] ppid=18931 vsize=389424 CPUtime=11.4
/proc/18933/task/18950/stat : 18950 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 3280 0 0 0 1120 20 0 0 20 0 17 0 652333586 398770176 62666 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 183.6
Current children cumulated vsize (KiB) 389424

[startup+25.507 s]
/proc/loadavg: 15.75 15.12 10.90 17/201 18950
/proc/meminfo: memFree=18591876/36427776 swapFree=4692/480892
[pid=18933] ppid=18931 vsize=626472 CPUtime=388.06
/proc/18933/stat : 18933 (ttsth-5-0) S 18931 18933 15497 0 -1 4202496 121106 0 0 0 38292 514 0 0 20 0 17 0 652333459 641507328 119594 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18933/statm: 156618 119598 95 177 0 156440 0
[pid=18933/tid=18935] ppid=18931 vsize=626472 CPUtime=24.22
/proc/18933/task/18935/stat : 18935 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 4450 0 0 0 2396 26 0 0 20 0 17 0 652333585 641507328 119598 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562341 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18933/tid=18936] ppid=18931 vsize=626472 CPUtime=24.2
/proc/18933/task/18936/stat : 18936 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 4797 0 0 0 2392 28 0 0 20 0 17 0 652333585 641507328 119598 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18933/tid=18937] ppid=18931 vsize=626472 CPUtime=24.2
/proc/18933/task/18937/stat : 18937 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 7353 0 0 0 2382 38 0 0 20 0 17 0 652333585 641507328 119598 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18933/tid=18938] ppid=18931 vsize=626472 CPUtime=24.2
/proc/18933/task/18938/stat : 18938 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 6952 0 0 0 2384 36 0 0 20 0 17 0 652333585 641507328 119598 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18933/tid=18939] ppid=18931 vsize=626472 CPUtime=24.2
/proc/18933/task/18939/stat : 18939 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 7835 0 0 0 2390 30 0 0 20 0 17 0 652333585 641507328 119598 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18933/tid=18940] ppid=18931 vsize=626472 CPUtime=24.1
/proc/18933/task/18940/stat : 18940 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 8301 0 0 0 2384 26 0 0 20 0 17 0 652333585 641507328 119598 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546076 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18933/tid=18941] ppid=18931 vsize=626472 CPUtime=24.2
/proc/18933/task/18941/stat : 18941 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 8286 0 0 0 2386 34 0 0 20 0 17 0 652333585 641507328 119598 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134587952 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18933/tid=18942] ppid=18931 vsize=626472 CPUtime=24.22
/proc/18933/task/18942/stat : 18942 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 4434 0 0 0 2396 26 0 0 20 0 17 0 652333585 641507328 119598 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18933/tid=18943] ppid=18931 vsize=626472 CPUtime=24.2
/proc/18933/task/18943/stat : 18943 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 6852 0 0 0 2382 38 0 0 20 0 17 0 652333585 641507328 119598 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18933/tid=18944] ppid=18931 vsize=626472 CPUtime=24.2
/proc/18933/task/18944/stat : 18944 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 8629 0 0 0 2386 34 0 0 20 0 17 0 652333585 641507328 119598 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18933/tid=18945] ppid=18931 vsize=626472 CPUtime=24.22
/proc/18933/task/18945/stat : 18945 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 5746 0 0 0 2394 28 0 0 20 0 17 0 652333585 641507328 119598 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18933/tid=18946] ppid=18931 vsize=626472 CPUtime=23.72
/proc/18933/task/18946/stat : 18946 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 5359 0 0 0 2342 30 0 0 20 0 17 0 652333585 641507328 119598 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18933/tid=18947] ppid=18931 vsize=626472 CPUtime=24.22
/proc/18933/task/18947/stat : 18947 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 8490 0 0 0 2388 34 0 0 20 0 17 0 652333585 641507328 119598 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134591116 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18933/tid=18948] ppid=18931 vsize=626472 CPUtime=24.16
/proc/18933/task/18948/stat : 18948 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 7430 0 0 0 2384 32 0 0 20 0 17 0 652333585 641507328 119598 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18933/tid=18949] ppid=18931 vsize=626472 CPUtime=24.2
/proc/18933/task/18949/stat : 18949 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 7380 0 0 0 2390 30 0 0 20 0 17 0 652333586 641507328 119598 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18933/tid=18950] ppid=18931 vsize=626472 CPUtime=24.2
/proc/18933/task/18950/stat : 18950 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 7288 0 0 0 2390 30 0 0 20 0 17 0 652333586 641507328 119598 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 388.06
Current children cumulated vsize (KiB) 626472

[startup+51.1049 s]
/proc/loadavg: 15.83 15.19 11.03 17/201 18950
/proc/meminfo: memFree=18205372/36427776 swapFree=4692/863564
[pid=18933] ppid=18931 vsize=1032400 CPUtime=796.85
/proc/18933/stat : 18933 (ttsth-5-0) S 18931 18933 15497 0 -1 4202496 217900 0 0 0 78939 746 0 0 20 0 17 0 652333459 1057177600 216388 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18933/statm: 258100 216388 95 177 0 257922 0
[pid=18933/tid=18935] ppid=18931 vsize=1032400 CPUtime=49.8
/proc/18933/task/18935/stat : 18935 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 8310 0 0 0 4950 30 0 0 20 0 17 0 652333585 1057177600 216388 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18933/tid=18936] ppid=18931 vsize=1032400 CPUtime=49.79
/proc/18933/task/18936/stat : 18936 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 9801 0 0 0 4935 44 0 0 20 0 17 0 652333585 1057177600 216388 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134589646 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18933/tid=18937] ppid=18931 vsize=1032400 CPUtime=49.8
/proc/18933/task/18937/stat : 18937 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 13513 0 0 0 4928 52 0 0 20 0 17 0 652333585 1057177600 216388 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18933/tid=18938] ppid=18931 vsize=1032400 CPUtime=49.78
/proc/18933/task/18938/stat : 18938 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 12252 0 0 0 4930 48 0 0 20 0 17 0 652333585 1057177600 216389 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18933/tid=18939] ppid=18931 vsize=1032400 CPUtime=49.78
/proc/18933/task/18939/stat : 18939 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 14681 0 0 0 4932 46 0 0 20 0 17 0 652333585 1057177600 216389 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18933/tid=18940] ppid=18931 vsize=1032400 CPUtime=49.69
/proc/18933/task/18940/stat : 18940 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 14678 0 0 0 4925 44 0 0 20 0 17 0 652333585 1057177600 216389 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18933/tid=18941] ppid=18931 vsize=1032400 CPUtime=49.79
/proc/18933/task/18941/stat : 18941 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 15668 0 0 0 4929 50 0 0 20 0 17 0 652333585 1057177600 216389 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18933/tid=18942] ppid=18931 vsize=1032400 CPUtime=49.8
/proc/18933/task/18942/stat : 18942 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 9013 0 0 0 4942 38 0 0 20 0 17 0 652333585 1057177600 216389 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18933/tid=18943] ppid=18931 vsize=1032400 CPUtime=49.78
/proc/18933/task/18943/stat : 18943 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 12227 0 0 0 4930 48 0 0 20 0 17 0 652333585 1057177600 216389 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134592184 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18933/tid=18944] ppid=18931 vsize=1032400 CPUtime=49.78
/proc/18933/task/18944/stat : 18944 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 17951 0 0 0 4928 50 0 0 20 0 17 0 652333585 1057177600 216389 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18933/tid=18945] ppid=18931 vsize=1032400 CPUtime=49.79
/proc/18933/task/18945/stat : 18945 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 10807 0 0 0 4937 42 0 0 20 0 17 0 652333585 1057177600 216389 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134561463 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18933/tid=18946] ppid=18931 vsize=1032400 CPUtime=48.79
/proc/18933/task/18946/stat : 18946 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 10707 0 0 0 4835 44 0 0 20 0 17 0 652333585 1057177600 216389 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134587952 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18933/tid=18947] ppid=18931 vsize=1032400 CPUtime=49.8
/proc/18933/task/18947/stat : 18947 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 15653 0 0 0 4924 56 0 0 20 0 17 0 652333585 1057177600 216389 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18933/tid=18948] ppid=18931 vsize=1032400 CPUtime=49.74
/proc/18933/task/18948/stat : 18948 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 13887 0 0 0 4928 46 0 0 20 0 17 0 652333585 1057177600 216389 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18933/tid=18949] ppid=18931 vsize=1032400 CPUtime=49.8
/proc/18933/task/18949/stat : 18949 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 13663 0 0 0 4936 44 0 0 20 0 17 0 652333586 1057177600 216389 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18933/tid=18950] ppid=18931 vsize=1032400 CPUtime=49.78
/proc/18933/task/18950/stat : 18950 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 13562 0 0 0 4928 50 0 0 20 0 17 0 652333586 1057177600 216390 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 796.85
Current children cumulated vsize (KiB) 1032400

[startup+102.314 s]
/proc/loadavg: 15.93 15.32 11.31 17/201 18950
/proc/meminfo: memFree=17632040/36427776 swapFree=4692/1438552
[pid=18933] ppid=18931 vsize=1624568 CPUtime=1615.02
/proc/18933/stat : 18933 (ttsth-5-0) S 18931 18933 15497 0 -1 4202496 359251 0 0 0 160412 1090 0 0 20 0 17 0 652333459 1663557632 357739 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18933/statm: 406142 357739 95 177 0 405964 0
[pid=18933/tid=18935] ppid=18931 vsize=1624568 CPUtime=101
/proc/18933/task/18935/stat : 18935 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 13610 0 0 0 10058 42 0 0 20 0 17 0 652333585 1663557632 357739 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18933/tid=18936] ppid=18931 vsize=1624568 CPUtime=100.98
/proc/18933/task/18936/stat : 18936 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 16582 0 0 0 10040 58 0 0 20 0 17 0 652333585 1663557632 357739 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18933/tid=18937] ppid=18931 vsize=1624568 CPUtime=100.98
/proc/18933/task/18937/stat : 18937 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 22693 0 0 0 10024 74 0 0 20 0 17 0 652333585 1663557632 357740 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18933/tid=18938] ppid=18931 vsize=1624568 CPUtime=100.97
/proc/18933/task/18938/stat : 18938 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 20338 0 0 0 10033 64 0 0 20 0 17 0 652333585 1663557632 357740 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18933/tid=18939] ppid=18931 vsize=1624568 CPUtime=100.98
/proc/18933/task/18939/stat : 18939 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 24241 0 0 0 10030 68 0 0 20 0 17 0 652333585 1663557632 357740 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18933/tid=18940] ppid=18931 vsize=1624568 CPUtime=100.9
/proc/18933/task/18940/stat : 18940 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 24291 0 0 0 10022 68 0 0 20 0 17 0 652333585 1663557632 357740 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18933/tid=18941] ppid=18931 vsize=1624568 CPUtime=100.99
/proc/18933/task/18941/stat : 18941 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 27469 0 0 0 10017 82 0 0 20 0 17 0 652333585 1663557632 357740 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18933/tid=18942] ppid=18931 vsize=1624568 CPUtime=100.99
/proc/18933/task/18942/stat : 18942 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 15488 0 0 0 10041 58 0 0 20 0 17 0 652333585 1663557632 357740 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18933/tid=18943] ppid=18931 vsize=1624568 CPUtime=100.97
/proc/18933/task/18943/stat : 18943 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 19727 0 0 0 10035 62 0 0 20 0 17 0 652333585 1663557632 357740 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18933/tid=18944] ppid=18931 vsize=1624568 CPUtime=100.99
/proc/18933/task/18944/stat : 18944 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 29792 0 0 0 10023 76 0 0 20 0 17 0 652333585 1663557632 357740 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18933/tid=18945] ppid=18931 vsize=1624568 CPUtime=100.99
/proc/18933/task/18945/stat : 18945 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 18432 0 0 0 10037 62 0 0 20 0 17 0 652333585 1663557632 357740 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18933/tid=18946] ppid=18931 vsize=1624568 CPUtime=98.98
/proc/18933/task/18946/stat : 18946 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 19514 0 0 0 9828 70 0 0 20 0 17 0 652333585 1663557632 357742 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18933/tid=18947] ppid=18931 vsize=1624568 CPUtime=100.98
/proc/18933/task/18947/stat : 18947 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 26522 0 0 0 10022 76 0 0 20 0 17 0 652333585 1663557632 357742 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18933/tid=18948] ppid=18931 vsize=1624568 CPUtime=100.94
/proc/18933/task/18948/stat : 18948 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 23132 0 0 0 10024 70 0 0 20 0 17 0 652333585 1663557632 357742 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134732535 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18933/tid=18949] ppid=18931 vsize=1624568 CPUtime=100.99
/proc/18933/task/18949/stat : 18949 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 23195 0 0 0 10035 64 0 0 20 0 17 0 652333586 1663557632 357742 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18933/tid=18950] ppid=18931 vsize=1624568 CPUtime=100.96
/proc/18933/task/18950/stat : 18950 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 22699 0 0 0 10016 80 0 0 20 0 17 0 652333586 1663557632 357742 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1615.02
Current children cumulated vsize (KiB) 1624568



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+151.816 s]
/proc/loadavg: 15.97 15.42 11.53 17/201 18955
/proc/meminfo: memFree=17181700/36427776 swapFree=4692/1885584
[pid=18933] ppid=18931 vsize=2096152 CPUtime=2406.12
/proc/18933/stat : 18933 (ttsth-5-0) S 18931 18933 15497 0 -1 4202496 471304 0 0 0 239264 1348 0 0 20 0 17 0 652333459 2146459648 469792 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18933/statm: 524038 469792 95 177 0 523860 0
[pid=18933/tid=18935] ppid=18931 vsize=2096152 CPUtime=150.51
/proc/18933/task/18935/stat : 18935 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 18098 0 0 0 14999 52 0 0 20 0 17 0 652333585 2146459648 469792 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18933/tid=18936] ppid=18931 vsize=2096152 CPUtime=150.5
/proc/18933/task/18936/stat : 18936 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 21161 0 0 0 14978 72 0 0 20 0 17 0 652333585 2146459648 469792 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18933/tid=18937] ppid=18931 vsize=2096152 CPUtime=150.49
/proc/18933/task/18937/stat : 18937 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 30584 0 0 0 14955 94 0 0 20 0 17 0 652333585 2146459648 469792 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18933/tid=18938] ppid=18931 vsize=2096152 CPUtime=150.46
/proc/18933/task/18938/stat : 18938 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 27525 0 0 0 14966 80 0 0 20 0 17 0 652333585 2146459648 469792 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18933/tid=18939] ppid=18931 vsize=2096152 CPUtime=150.47
/proc/18933/task/18939/stat : 18939 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 32057 0 0 0 14961 86 0 0 20 0 17 0 652333585 2146459648 469792 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134561510 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18933/tid=18940] ppid=18931 vsize=2096152 CPUtime=150.4
/proc/18933/task/18940/stat : 18940 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 33044 0 0 0 14956 84 0 0 20 0 17 0 652333585 2146459648 469792 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562290 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18933/tid=18941] ppid=18931 vsize=2096152 CPUtime=150.5
/proc/18933/task/18941/stat : 18941 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 36097 0 0 0 14950 100 0 0 20 0 17 0 652333585 2146459648 469792 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18933/tid=18942] ppid=18931 vsize=2096152 CPUtime=150.51
/proc/18933/task/18942/stat : 18942 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 20642 0 0 0 14977 74 0 0 20 0 17 0 652333585 2146459648 469792 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18933/tid=18943] ppid=18931 vsize=2096152 CPUtime=150.47
/proc/18933/task/18943/stat : 18943 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 25165 0 0 0 14973 74 0 0 20 0 17 0 652333585 2146459648 469792 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18933/tid=18944] ppid=18931 vsize=2096152 CPUtime=150.49
/proc/18933/task/18944/stat : 18944 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 38776 0 0 0 14955 94 0 0 20 0 17 0 652333585 2146459648 469792 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18933/tid=18945] ppid=18931 vsize=2096152 CPUtime=150.51
/proc/18933/task/18945/stat : 18945 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 23955 0 0 0 14973 78 0 0 20 0 17 0 652333585 2146459648 469792 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18933/tid=18946] ppid=18931 vsize=2096152 CPUtime=147.49
/proc/18933/task/18946/stat : 18946 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 27383 0 0 0 14659 90 0 0 20 0 17 0 652333585 2146459648 469792 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18933/tid=18947] ppid=18931 vsize=2096152 CPUtime=150.49
/proc/18933/task/18947/stat : 18947 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 34211 0 0 0 14955 94 0 0 20 0 17 0 652333585 2146459648 469792 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18933/tid=18948] ppid=18931 vsize=2096152 CPUtime=150.45
/proc/18933/task/18948/stat : 18948 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 30474 0 0 0 14957 88 0 0 20 0 17 0 652333585 2146459648 469792 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18933/tid=18949] ppid=18931 vsize=2096152 CPUtime=150.5
/proc/18933/task/18949/stat : 18949 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 30199 0 0 0 14970 80 0 0 20 0 17 0 652333586 2146459648 469792 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18933/tid=18950] ppid=18931 vsize=2096152 CPUtime=150.46
/proc/18933/task/18950/stat : 18950 (ttsth-5-0) R 18931 18933 15497 0 -1 4202560 30405 0 0 0 14950 96 0 0 20 0 17 0 652333586 2146459648 469792 18446744073709551615 134512640 135237372 4292172848 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2406.12
Current children cumulated vsize (KiB) 2096152

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

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

[startup+151.925 s]
/proc/loadavg: 15.97 15.42 11.53 17/201 18955
/proc/meminfo: memFree=17181700/36427776 swapFree=4692/1885584
[pid=18933] ppid=18931 vsize=0 CPUtime=2406.37
/proc/18933/stat : 18933 (ttsth-5-0) Z 18931 18933 15497 0 -1 4203532 471309 0 0 0 239280 1357 0 0 20 0 2 0 652333459 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18933/statm: 0 0 0 0 0 0 0
[pid=18933/tid=18949] ppid=18931 vsize=0 CPUtime=150.59
/proc/18933/task/18949/stat : 18949 (ttsth-5-0) R 18931 18933 15497 0 -1 4203588 30199 0 0 0 14971 88 0 0 20 0 2 0 652333586 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2406.37
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 152.001
CPU time (s): 2406.44
CPU user time (s): 2392.81
CPU system time (s): 13.6289
CPU usage (%): 1583.17
Max. virtual memory (cumulated for all children) (KiB): 2096152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.81
system time used= 13.6289
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 471309
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= 9211
involuntary context switches= 5921

runsolver used 0.620038 second user time and 2.41615 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 23:57:51
IDJOB=1776360
IDBENCH=20491
IDSOLVER=634
FILE ID=xenhost3-49/1776360-1244930271
PBS_JOBID=
Free space on /tmp= 7024 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT07/industrial/grieu/vmpc_29.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776360-1244930271/watcher-1776360-1244930271 -o /tmp/evaluation-result-1776360-1244930271/solver-1776360-1244930271 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776360-1244930271.cnf

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

MD5SUM BENCH= 1e81246225c81a67548d334d1dfcc24b
RANDOM SEED= 1376123114

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:      19062160 kB
Buffers:        472608 kB
Cached:       14116580 kB
SwapCached:          0 kB
Active:        4118080 kB
Inactive:     10478700 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2012 kB
Writeback:           0 kB
AnonPages:        7304 kB
Mapped:           3932 kB
Slab:           717332 kB
SReclaimable:   690564 kB
SUnreclaim:      26768 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29496 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7024 MiB
End job on xenhost3-49 at 2009-06-14 00:00:25