Trace number 1776870

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) 3732.41 251.599

General information on the benchmark

Namevange-col-abb313GPIA-9-c.cnf
MD5SUM0baefedb2aaa81442743e253487854d8
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables6228
Number of clauses484871
Sum of the clauses size3850952
Maximum clause length8
Minimum clause length1
Number of clauses of size 115
Number of clauses of size 24651
Number of clauses of size 31
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5480204

Solver Data 

1.50/1.55	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776870-1244941894.cnf 
1.50/1.55	c Using SATTIMEOUT of 10000
1.50/1.55	c Using SATRAM of 2047
1.50/1.55	c Size of subset node = 16
1.50/1.55	c Variables = 6228
1.50/1.55	c Clauses = 484871
1.50/1.55	c Literals = 3850952
1.50/1.55	c Reduced size:
1.50/1.55	c Variables = 6228
1.50/1.55	c Clauses = 482552
1.50/1.55	c Literals = 3827965
1.50/1.55	c a2
7.00/7.03	c a1
14.08/14.14	c Independent sub-problems = 1
14.08/14.14	c Sub-problem with 6204 variables and 482552 clauses
14.08/14.14	c using permutation method 4
14.08/14.14	c count = 1
14.08/14.14	c Ordering finished 13.720 seconds
14.08/14.14	c mapped 14.140 seconds
14.08/14.14	c permuted 14.140 seconds
14.08/14.14	c about to sort
14.40/14.43	c sorted
17.78/17.83	c clauses now 482552
17.78/17.83	c init finished 14.590 seconds
17.78/17.83	c tree built 17.820 seconds
17.78/17.83	c 
17.78/17.83	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
17.78/17.83	c ---------------------------------|----------------------------------|------------------------------------------------------
17.78/17.83	c ................................ | ..........                       |                       17.8           0.0             
17.78/17.83	c ................................ | ..........                     1 |                       17.8           0.1            4
17.78/17.83	c ................................ | ..........                     2 |                       17.8           0.1            4
17.78/17.83	c ................................ | ..........                     3 |                       17.8           0.2            5
17.78/17.83	c ................................ | ..........                     4 |                       17.8           0.2            5
17.78/17.83	c ................................ | ..........                     5 |                       17.8           0.3            5
17.78/17.87	c ................................ | ..........                  1000 | 94                    18.1          55.2        15814
238.45/31.93	c ................................ | ..........                433000 | 63173                200.4        2160.1      7951580
454.84/45.60	c ................................ | ..........                633000 | 93383                400.9        1578.8     14332378
664.20/58.80	c ................................ | ..........                797000 | 118159               601.2        1325.7     20576157
870.62/71.85	c ................................ | ..........                936000 | 140719               800.6        1169.1     26505432
1077.39/84.84	c ................................ | *.........               1061000 | 161359              1001.6        1059.3     32534525
1279.51/97.58	c ................................ | *.........               1200000 | 184765              1200.2         999.8     38490878
1484.97/110.41	c ................................ | *.........               1358000 | 209901              1400.8         969.5     44052700
1687.48/123.14	c ................................ | *.........               1537000 | 236501              1600.0         960.6     49461580
1891.20/135.91	c ................................ | *.........               1733000 | 264530              1800.4         962.6     55178901
2093.55/148.65	c ................................ | **........               1894000 | 288502              2000.1         946.9     61108556

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-1776870-1244941894/watcher-1776870-1244941894 -o /tmp/evaluation-result-1776870-1244941894/solver-1776870-1244941894 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776870-1244941894.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: 7.11 4.79 3.06 2/184 20715
/proc/meminfo: memFree=19031500/36427776 swapFree=3600/7720
[pid=20715] ppid=20713 vsize=1412 CPUtime=0
/proc/20715/stat : 20715 (ttsth-5-0) R 20713 20715 15497 0 -1 4202496 243 0 0 0 0 0 0 0 20 0 1 0 653495805 1445888 199 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134732614 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/20715/statm: 353 199 74 177 0 175 0

[startup+0.050027 s]
/proc/loadavg: 7.11 4.79 3.06 2/184 20715
/proc/meminfo: memFree=19031500/36427776 swapFree=3600/7720
[pid=20715] ppid=20713 vsize=3268 CPUtime=0.04
/proc/20715/stat : 20715 (ttsth-5-0) R 20713 20715 15497 0 -1 4202496 708 0 0 0 4 0 0 0 20 0 1 0 653495805 3346432 664 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134732614 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/20715/statm: 817 665 75 177 0 639 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3268

[startup+0.10204 s]
/proc/loadavg: 7.11 4.79 3.06 2/184 20715
/proc/meminfo: memFree=19031500/36427776 swapFree=3600/7720
[pid=20715] ppid=20713 vsize=5756 CPUtime=0.1
/proc/20715/stat : 20715 (ttsth-5-0) R 20713 20715 15497 0 -1 4202496 1305 0 0 0 10 0 0 0 20 0 1 0 653495805 5894144 1261 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134732614 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/20715/statm: 1439 1262 75 177 0 1261 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5756

[startup+0.302065 s]
/proc/loadavg: 7.11 4.79 3.06 2/184 20715
/proc/meminfo: memFree=19031500/36427776 swapFree=3600/7720
[pid=20715] ppid=20713 vsize=14636 CPUtime=0.3
/proc/20715/stat : 20715 (ttsth-5-0) R 20713 20715 15497 0 -1 4202496 3547 0 0 0 26 4 0 0 20 0 1 0 653495805 14987264 3503 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134732614 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/20715/statm: 3659 3504 75 177 0 3481 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 14636

[startup+0.7021 s]
/proc/loadavg: 7.11 4.79 3.06 2/184 20715
/proc/meminfo: memFree=19031500/36427776 swapFree=3600/7720
[pid=20715] ppid=20713 vsize=32468 CPUtime=0.7
/proc/20715/stat : 20715 (ttsth-5-0) R 20713 20715 15497 0 -1 4202496 7987 0 0 0 64 6 0 0 20 0 1 0 653495805 33247232 7943 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134732614 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/20715/statm: 8117 7944 75 177 0 7939 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 32468

[startup+1.50216 s]
/proc/loadavg: 7.11 4.79 3.06 2/185 20716
/proc/meminfo: memFree=18987108/36427776 swapFree=4256/52532
[pid=20715] ppid=20713 vsize=54868 CPUtime=1.5
/proc/20715/stat : 20715 (ttsth-5-0) R 20713 20715 15497 0 -1 4202496 13393 0 0 0 142 8 0 0 20 0 1 0 653495805 56184832 13349 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134534064 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/20715/statm: 13717 13349 75 177 0 13539 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 54868

[startup+3.10229 s]
/proc/loadavg: 7.11 4.79 3.06 2/185 20716
/proc/meminfo: memFree=18826144/36427776 swapFree=4184/214064
[pid=20715] ppid=20713 vsize=251196 CPUtime=3.1
/proc/20715/stat : 20715 (ttsth-5-0) R 20713 20715 15497 0 -1 4202496 55027 0 0 0 288 22 0 0 20 0 1 0 653495805 257224704 54982 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134519968 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/20715/statm: 62799 54982 76 177 0 62621 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 251196

[startup+6.30256 s]
/proc/loadavg: 6.62 4.73 3.04 2/185 20716
/proc/meminfo: memFree=18811164/36427776 swapFree=4616/228936
[pid=20715] ppid=20713 vsize=251196 CPUtime=6.3
/proc/20715/stat : 20715 (ttsth-5-0) R 20713 20715 15497 0 -1 4202496 55031 0 0 0 608 22 0 0 20 0 1 0 653495805 257224704 54986 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134749296 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/20715/statm: 62799 54986 76 177 0 62621 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 251196

[startup+12.7031 s]
/proc/loadavg: 6.17 4.67 3.03 3/185 20716
/proc/meminfo: memFree=18800936/36427776 swapFree=4620/239420
[pid=20715] ppid=20713 vsize=250500 CPUtime=12.68
/proc/20715/stat : 20715 (ttsth-5-0) R 20713 20715 15497 0 -1 4202496 58532 0 0 0 1246 22 0 0 20 0 1 0 653495805 256512000 57541 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134600972 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/20715/statm: 62625 57541 77 177 0 62447 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 250500

[startup+25.503 s]
/proc/loadavg: 7.33 4.98 3.16 17/201 20732
/proc/meminfo: memFree=18726936/36427776 swapFree=4692/316116
[pid=20715] ppid=20713 vsize=444644 CPUtime=137.73
/proc/20715/stat : 20715 (ttsth-5-0) S 20713 20715 15497 0 -1 4202496 79074 0 0 0 9070 4703 0 0 20 0 17 0 653495805 455315456 77611 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20715/statm: 111161 77611 95 177 0 110983 0
[pid=20715/tid=20717] ppid=20713 vsize=444644 CPUtime=7.64
/proc/20715/task/20717/stat : 20717 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 2428 0 0 0 758 6 0 0 20 0 17 0 653497589 455315456 77611 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134590190 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20715/tid=20718] ppid=20713 vsize=444644 CPUtime=7.5
/proc/20715/task/20718/stat : 20718 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 1096 0 0 0 432 318 0 0 20 0 17 0 653497589 455315456 77611 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20715/tid=20719] ppid=20713 vsize=444644 CPUtime=7.46
/proc/20715/task/20719/stat : 20719 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 825 0 0 0 426 320 0 0 20 0 17 0 653497589 455315456 77612 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134590176 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20715/tid=20720] ppid=20713 vsize=444644 CPUtime=7.52
/proc/20715/task/20720/stat : 20720 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 1098 0 0 0 452 300 0 0 20 0 17 0 653497589 455315456 77612 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20715/tid=20721] ppid=20713 vsize=444644 CPUtime=7.5
/proc/20715/task/20721/stat : 20721 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 1043 0 0 0 438 312 0 0 20 0 17 0 653497589 455315456 77612 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20715/tid=20722] ppid=20713 vsize=444644 CPUtime=7.48
/proc/20715/task/20722/stat : 20722 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 812 0 0 0 430 318 0 0 20 0 17 0 653497589 455315456 77612 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=20715/tid=20723] ppid=20713 vsize=444644 CPUtime=7.5
/proc/20715/task/20723/stat : 20723 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 960 0 0 0 448 302 0 0 20 0 17 0 653497589 455315456 77612 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20715/tid=20724] ppid=20713 vsize=444644 CPUtime=7.48
/proc/20715/task/20724/stat : 20724 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 757 0 0 0 452 296 0 0 20 0 17 0 653497589 455315456 77612 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20715/tid=20725] ppid=20713 vsize=444644 CPUtime=7.5
/proc/20715/task/20725/stat : 20725 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 1151 0 0 0 440 310 0 0 20 0 17 0 653497589 455315456 77612 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20715/tid=20726] ppid=20713 vsize=444644 CPUtime=7.48
/proc/20715/task/20726/stat : 20726 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 975 0 0 0 428 320 0 0 20 0 17 0 653497589 455315456 77612 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=20715/tid=20727] ppid=20713 vsize=444644 CPUtime=7.44
/proc/20715/task/20727/stat : 20727 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 795 0 0 0 422 322 0 0 20 0 17 0 653497589 455315456 77612 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20715/tid=20728] ppid=20713 vsize=444644 CPUtime=7.52
/proc/20715/task/20728/stat : 20728 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 1276 0 0 0 454 298 0 0 20 0 17 0 653497589 455315456 77612 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20715/tid=20729] ppid=20713 vsize=444644 CPUtime=7.5
/proc/20715/task/20729/stat : 20729 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 1142 0 0 0 434 316 0 0 20 0 17 0 653497589 455315456 77612 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20715/tid=20730] ppid=20713 vsize=444644 CPUtime=7.48
/proc/20715/task/20730/stat : 20730 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 896 0 0 0 404 344 0 0 20 0 17 0 653497589 455315456 77612 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134592468 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20715/tid=20731] ppid=20713 vsize=444644 CPUtime=7.36
/proc/20715/task/20731/stat : 20731 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 956 0 0 0 444 292 0 0 20 0 17 0 653497589 455315456 77612 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134591177 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20715/tid=20732] ppid=20713 vsize=444644 CPUtime=7.42
/proc/20715/task/20732/stat : 20732 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 885 0 0 0 444 298 0 0 20 0 17 0 653497592 455315456 77612 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 137.73
Current children cumulated vsize (KiB) 444644

[startup+51.1065 s]
/proc/loadavg: 10.29 5.86 3.50 17/201 20732
/proc/meminfo: memFree=18538612/36427776 swapFree=4692/504612
[pid=20715] ppid=20713 vsize=635608 CPUtime=542.03
/proc/20715/stat : 20715 (ttsth-5-0) S 20713 20715 15497 0 -1 4202496 127038 0 0 0 43713 10490 0 0 20 0 17 0 653495805 650862592 125575 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20715/statm: 158902 125576 95 177 0 158724 0
[pid=20715/tid=20717] ppid=20713 vsize=635608 CPUtime=33.24
/proc/20715/task/20717/stat : 20717 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 5800 0 0 0 3310 14 0 0 20 0 17 0 653497589 650862592 125576 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134562341 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20715/tid=20718] ppid=20713 vsize=635608 CPUtime=32.7
/proc/20715/task/20718/stat : 20718 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 3649 0 0 0 2550 720 0 0 20 0 17 0 653497589 650862592 125576 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20715/tid=20719] ppid=20713 vsize=635608 CPUtime=32.76
/proc/20715/task/20719/stat : 20719 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 2998 0 0 0 2604 672 0 0 20 0 17 0 653497589 650862592 125576 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20715/tid=20720] ppid=20713 vsize=635608 CPUtime=32.8
/proc/20715/task/20720/stat : 20720 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 5981 0 0 0 2546 734 0 0 20 0 17 0 653497589 650862592 125576 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20715/tid=20721] ppid=20713 vsize=635608 CPUtime=32.78
/proc/20715/task/20721/stat : 20721 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 3798 0 0 0 2572 706 0 0 20 0 17 0 653497589 650862592 125576 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20715/tid=20722] ppid=20713 vsize=635608 CPUtime=32.76
/proc/20715/task/20722/stat : 20722 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 2651 0 0 0 2568 708 0 0 20 0 17 0 653497589 650862592 125577 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=20715/tid=20723] ppid=20713 vsize=635608 CPUtime=32.8
/proc/20715/task/20723/stat : 20723 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 3617 0 0 0 2580 700 0 0 20 0 17 0 653497589 650862592 125577 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20715/tid=20724] ppid=20713 vsize=635608 CPUtime=32.78
/proc/20715/task/20724/stat : 20724 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 2791 0 0 0 2594 684 0 0 20 0 17 0 653497589 650862592 125577 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20715/tid=20725] ppid=20713 vsize=635608 CPUtime=32.78
/proc/20715/task/20725/stat : 20725 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 4045 0 0 0 2572 706 0 0 20 0 17 0 653497589 650862592 125577 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134591106 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20715/tid=20726] ppid=20713 vsize=635608 CPUtime=32.8
/proc/20715/task/20726/stat : 20726 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 3815 0 0 0 2576 704 0 0 20 0 17 0 653497589 650862592 125577 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134593120 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=20715/tid=20727] ppid=20713 vsize=635608 CPUtime=32.74
/proc/20715/task/20727/stat : 20727 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 3328 0 0 0 2580 694 0 0 20 0 17 0 653497589 650862592 125577 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20715/tid=20728] ppid=20713 vsize=635608 CPUtime=32.76
/proc/20715/task/20728/stat : 20728 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 5394 0 0 0 2572 704 0 0 20 0 17 0 653497589 650862592 125577 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20715/tid=20729] ppid=20713 vsize=635608 CPUtime=32.84
/proc/20715/task/20729/stat : 20729 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 3314 0 0 0 2594 690 0 0 20 0 17 0 653497589 650862592 125577 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20715/tid=20730] ppid=20713 vsize=635608 CPUtime=32.78
/proc/20715/task/20730/stat : 20730 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 6504 0 0 0 2578 700 0 0 20 0 17 0 653497589 650862592 125577 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20715/tid=20731] ppid=20713 vsize=635608 CPUtime=32.16
/proc/20715/task/20731/stat : 20731 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 3668 0 0 0 2566 650 0 0 20 0 17 0 653497589 650862592 125577 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20715/tid=20732] ppid=20713 vsize=635608 CPUtime=32.68
/proc/20715/task/20732/stat : 20732 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 3707 0 0 0 2592 676 0 0 20 0 17 0 653497592 650862592 125577 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134549888 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 542.03
Current children cumulated vsize (KiB) 635608

[startup+102.316 s]
/proc/loadavg: 13.52 7.42 4.15 17/201 20732
/proc/meminfo: memFree=18138556/36427776 swapFree=4692/903904
[pid=20715] ppid=20713 vsize=1029592 CPUtime=1356.18
/proc/20715/stat : 20715 (ttsth-5-0) S 20713 20715 15497 0 -1 4202496 225618 0 0 0 120451 15167 0 0 20 0 17 0 653495805 1054302208 224155 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20715/statm: 257398 224155 95 177 0 257220 0
[pid=20715/tid=20717] ppid=20713 vsize=1029592 CPUtime=84.44
/proc/20715/task/20717/stat : 20717 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 10872 0 0 0 8414 30 0 0 20 0 17 0 653497589 1054302208 224155 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134590160 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20715/tid=20718] ppid=20713 vsize=1029592 CPUtime=83.58
/proc/20715/task/20718/stat : 20718 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 8764 0 0 0 7282 1076 0 0 20 0 17 0 653497589 1054302208 224155 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134590200 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20715/tid=20719] ppid=20713 vsize=1029592 CPUtime=83.69
/proc/20715/task/20719/stat : 20719 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 7147 0 0 0 7399 970 0 0 20 0 17 0 653497589 1054302208 224155 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20715/tid=20720] ppid=20713 vsize=1029592 CPUtime=83.7
/proc/20715/task/20720/stat : 20720 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 11505 0 0 0 7308 1062 0 0 20 0 17 0 653497589 1054302208 224155 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134591211 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20715/tid=20721] ppid=20713 vsize=1029592 CPUtime=83.72
/proc/20715/task/20721/stat : 20721 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 9719 0 0 0 7350 1022 0 0 20 0 17 0 653497589 1054302208 224155 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20715/tid=20722] ppid=20713 vsize=1029592 CPUtime=83.67
/proc/20715/task/20722/stat : 20722 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 6652 0 0 0 7345 1022 0 0 20 0 17 0 653497589 1054302208 224155 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134590186 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=20715/tid=20723] ppid=20713 vsize=1029592 CPUtime=83.77
/proc/20715/task/20723/stat : 20723 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 8814 0 0 0 7401 976 0 0 20 0 17 0 653497589 1054302208 224155 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20715/tid=20724] ppid=20713 vsize=1029592 CPUtime=83.73
/proc/20715/task/20724/stat : 20724 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 7230 0 0 0 7409 964 0 0 20 0 17 0 653497589 1054302208 224155 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20715/tid=20725] ppid=20713 vsize=1029592 CPUtime=83.66
/proc/20715/task/20725/stat : 20725 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 9837 0 0 0 7324 1042 0 0 20 0 17 0 653497589 1054302208 224155 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20715/tid=20726] ppid=20713 vsize=1029592 CPUtime=83.73
/proc/20715/task/20726/stat : 20726 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 8835 0 0 0 7369 1004 0 0 20 0 17 0 653497589 1054302208 224155 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=20715/tid=20727] ppid=20713 vsize=1029592 CPUtime=83.68
/proc/20715/task/20727/stat : 20727 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 7991 0 0 0 7364 1004 0 0 20 0 17 0 653497589 1054302208 224155 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20715/tid=20728] ppid=20713 vsize=1029592 CPUtime=83.69
/proc/20715/task/20728/stat : 20728 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 17118 0 0 0 7327 1042 0 0 20 0 17 0 653497589 1054302208 224155 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20715/tid=20729] ppid=20713 vsize=1029592 CPUtime=83.69
/proc/20715/task/20729/stat : 20729 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 13821 0 0 0 7349 1020 0 0 20 0 17 0 653497589 1054302208 224155 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20715/tid=20730] ppid=20713 vsize=1029592 CPUtime=83.73
/proc/20715/task/20730/stat : 20730 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 18880 0 0 0 7367 1006 0 0 20 0 17 0 653497589 1054302208 224155 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20715/tid=20731] ppid=20713 vsize=1029592 CPUtime=82.1
/proc/20715/task/20731/stat : 20731 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 8017 0 0 0 7282 928 0 0 20 0 17 0 653497589 1054302208 224155 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134591069 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20715/tid=20732] ppid=20713 vsize=1029592 CPUtime=83.63
/proc/20715/task/20732/stat : 20732 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 8436 0 0 0 7399 964 0 0 20 0 17 0 653497592 1054302208 224155 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1356.18
Current children cumulated vsize (KiB) 1029592

[startup+162.303 s]
/proc/loadavg: 15.09 8.98 4.89 17/201 20732
/proc/meminfo: memFree=17700000/36427776 swapFree=4692/1342248
[pid=20715] ppid=20713 vsize=1473084 CPUtime=2311.89
/proc/20715/stat : 20715 (ttsth-5-0) S 20713 20715 15497 0 -1 4202496 336555 0 0 0 212602 18587 0 0 20 0 17 0 653495805 1508438016 335092 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20715/statm: 368271 335092 95 177 0 368093 0
[pid=20715/tid=20717] ppid=20713 vsize=1473084 CPUtime=144.43
/proc/20715/task/20717/stat : 20717 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 17374 0 0 0 14395 48 0 0 20 0 17 0 653497589 1508438016 335092 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20715/tid=20718] ppid=20713 vsize=1473084 CPUtime=143.35
/proc/20715/task/20718/stat : 20718 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 15098 0 0 0 13013 1322 0 0 20 0 17 0 653497589 1508438016 335093 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20715/tid=20719] ppid=20713 vsize=1473084 CPUtime=143.51
/proc/20715/task/20719/stat : 20719 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 11098 0 0 0 13185 1166 0 0 20 0 17 0 653497589 1508438016 335093 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20715/tid=20720] ppid=20713 vsize=1473084 CPUtime=143.52
/proc/20715/task/20720/stat : 20720 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 16371 0 0 0 13096 1256 0 0 20 0 17 0 653497589 1508438016 335093 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20715/tid=20721] ppid=20713 vsize=1473084 CPUtime=143.54
/proc/20715/task/20721/stat : 20721 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 14616 0 0 0 13132 1222 0 0 20 0 17 0 653497589 1508438016 335093 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20715/tid=20722] ppid=20713 vsize=1473084 CPUtime=143.46
/proc/20715/task/20722/stat : 20722 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 11415 0 0 0 13096 1250 0 0 20 0 17 0 653497589 1508438016 335093 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=20715/tid=20723] ppid=20713 vsize=1473084 CPUtime=143.61
/proc/20715/task/20723/stat : 20723 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 14252 0 0 0 13221 1140 0 0 20 0 17 0 653497589 1508438016 335093 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134589118 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20715/tid=20724] ppid=20713 vsize=1473084 CPUtime=143.52
/proc/20715/task/20724/stat : 20724 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 12517 0 0 0 13168 1184 0 0 20 0 17 0 653497589 1508438016 335093 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20715/tid=20725] ppid=20713 vsize=1473084 CPUtime=143.43
/proc/20715/task/20725/stat : 20725 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 15896 0 0 0 13051 1292 0 0 20 0 17 0 653497589 1508438016 335093 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20715/tid=20726] ppid=20713 vsize=1473084 CPUtime=143.54
/proc/20715/task/20726/stat : 20726 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 14771 0 0 0 13114 1240 0 0 20 0 17 0 653497589 1508438016 335093 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134588792 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=20715/tid=20727] ppid=20713 vsize=1473084 CPUtime=143.44
/proc/20715/task/20727/stat : 20727 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 12847 0 0 0 13072 1272 0 0 20 0 17 0 653497589 1508438016 335093 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20715/tid=20728] ppid=20713 vsize=1473084 CPUtime=143.47
/proc/20715/task/20728/stat : 20728 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 32043 0 0 0 13033 1314 0 0 20 0 17 0 653497589 1508438016 335093 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20715/tid=20729] ppid=20713 vsize=1473084 CPUtime=143.4
/proc/20715/task/20729/stat : 20729 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 28288 0 0 0 13032 1308 0 0 20 0 17 0 653497589 1508438016 335093 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20715/tid=20730] ppid=20713 vsize=1473084 CPUtime=143.52
/proc/20715/task/20730/stat : 20730 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 32806 0 0 0 13108 1244 0 0 20 0 17 0 653497589 1508438016 335093 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20715/tid=20731] ppid=20713 vsize=1473084 CPUtime=140.76
/proc/20715/task/20731/stat : 20731 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 12167 0 0 0 12950 1126 0 0 20 0 17 0 653497589 1508438016 335093 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134562272 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20715/tid=20732] ppid=20713 vsize=1473084 CPUtime=143.41
/proc/20715/task/20732/stat : 20732 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 13017 0 0 0 13167 1174 0 0 20 0 17 0 653497592 1508438016 335093 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2311.89
Current children cumulated vsize (KiB) 1473084

[startup+222.304 s]
/proc/loadavg: 15.66 10.26 5.58 17/201 20737
/proc/meminfo: memFree=17253940/36427776 swapFree=4692/1786968
[pid=20715] ppid=20713 vsize=1911692 CPUtime=3267.81
/proc/20715/stat : 20715 (ttsth-5-0) S 20713 20715 15497 0 -1 4202496 446253 0 0 0 305089 21692 0 0 20 0 17 0 653495805 1957572608 444790 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20715/statm: 477923 444790 95 177 0 477745 0
[pid=20715/tid=20717] ppid=20713 vsize=1911692 CPUtime=204.42
/proc/20715/task/20717/stat : 20717 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 22641 0 0 0 20376 66 0 0 20 0 17 0 653497589 1957572608 444790 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134591181 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20715/tid=20718] ppid=20713 vsize=1911692 CPUtime=203.13
/proc/20715/task/20718/stat : 20718 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 21258 0 0 0 18737 1576 0 0 20 0 17 0 653497589 1957572608 444790 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20715/tid=20719] ppid=20713 vsize=1911692 CPUtime=203.33
/proc/20715/task/20719/stat : 20719 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 15523 0 0 0 18965 1368 0 0 20 0 17 0 653497589 1957572608 444790 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20715/tid=20720] ppid=20713 vsize=1911692 CPUtime=203.33
/proc/20715/task/20720/stat : 20720 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 21497 0 0 0 18909 1424 0 0 20 0 17 0 653497589 1957572608 444790 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20715/tid=20721] ppid=20713 vsize=1911692 CPUtime=203.39
/proc/20715/task/20721/stat : 20721 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 19029 0 0 0 18937 1402 0 0 20 0 17 0 653497589 1957572608 444790 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20715/tid=20722] ppid=20713 vsize=1911692 CPUtime=203.25
/proc/20715/task/20722/stat : 20722 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 16412 0 0 0 18885 1440 0 0 20 0 17 0 653497589 1957572608 444790 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134591831 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=20715/tid=20723] ppid=20713 vsize=1911692 CPUtime=203.47
/proc/20715/task/20723/stat : 20723 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 18429 0 0 0 19049 1298 0 0 20 0 17 0 653497589 1957572608 444790 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20715/tid=20724] ppid=20713 vsize=1911692 CPUtime=203.35
/proc/20715/task/20724/stat : 20724 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 17266 0 0 0 18929 1406 0 0 20 0 17 0 653497589 1957572608 444790 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20715/tid=20725] ppid=20713 vsize=1911692 CPUtime=203.23
/proc/20715/task/20725/stat : 20725 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 20466 0 0 0 18847 1476 0 0 20 0 17 0 653497589 1957572608 444790 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134590193 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20715/tid=20726] ppid=20713 vsize=1911692 CPUtime=203.35
/proc/20715/task/20726/stat : 20726 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 19849 0 0 0 18893 1442 0 0 20 0 17 0 653497589 1957572608 444790 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=20715/tid=20727] ppid=20713 vsize=1911692 CPUtime=203.27
/proc/20715/task/20727/stat : 20727 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 17768 0 0 0 18895 1432 0 0 20 0 17 0 653497589 1957572608 444790 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20715/tid=20728] ppid=20713 vsize=1911692 CPUtime=203.31
/proc/20715/task/20728/stat : 20728 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 43598 0 0 0 18813 1518 0 0 20 0 17 0 653497589 1957572608 444790 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20715/tid=20729] ppid=20713 vsize=1911692 CPUtime=203.21
/proc/20715/task/20729/stat : 20729 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 41446 0 0 0 18771 1550 0 0 20 0 17 0 653497589 1957572608 444790 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20715/tid=20730] ppid=20713 vsize=1911692 CPUtime=203.27
/proc/20715/task/20730/stat : 20730 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 45869 0 0 0 18827 1500 0 0 20 0 17 0 653497589 1957572608 444790 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20715/tid=20731] ppid=20713 vsize=1911692 CPUtime=199.29
/proc/20715/task/20731/stat : 20731 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 26073 0 0 0 18537 1392 0 0 20 0 17 0 653497589 1957572608 444790 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134549888 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20715/tid=20732] ppid=20713 vsize=1911692 CPUtime=203.23
/proc/20715/task/20732/stat : 20732 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 17149 0 0 0 18953 1370 0 0 20 0 17 0 653497592 1957572608 444790 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3267.81
Current children cumulated vsize (KiB) 1911692



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+251.409 s]
/proc/loadavg: 15.79 10.80 5.91 18/201 20737
/proc/meminfo: memFree=17069232/36427776 swapFree=4692/1971556
[pid=20715] ppid=20713 vsize=2096144 CPUtime=3731.98
/proc/20715/stat : 20715 (ttsth-5-0) S 20713 20715 15497 0 -1 4202496 492415 0 0 0 350529 22669 0 0 20 0 17 0 653495805 2146451456 490952 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20715/statm: 524036 490953 95 177 0 523858 0
[pid=20715/tid=20717] ppid=20713 vsize=2096144 CPUtime=233.53
/proc/20715/task/20717/stat : 20717 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 25138 0 0 0 23281 72 0 0 20 0 17 0 653497589 2146451456 490953 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20715/tid=20718] ppid=20713 vsize=2096144 CPUtime=232.15
/proc/20715/task/20718/stat : 20718 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 23574 0 0 0 21561 1654 0 0 20 0 17 0 653497589 2146451456 490953 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20715/tid=20719] ppid=20713 vsize=2096144 CPUtime=232.39
/proc/20715/task/20719/stat : 20719 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 17014 0 0 0 21805 1434 0 0 20 0 17 0 653497589 2146451456 490953 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20715/tid=20720] ppid=20713 vsize=2096144 CPUtime=232.38
/proc/20715/task/20720/stat : 20720 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 23829 0 0 0 21742 1496 0 0 20 0 17 0 653497589 2146451456 490953 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20715/tid=20721] ppid=20713 vsize=2096144 CPUtime=232.44
/proc/20715/task/20721/stat : 20721 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 21149 0 0 0 21784 1460 0 0 20 0 17 0 653497589 2146451456 490953 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20715/tid=20722] ppid=20713 vsize=2096144 CPUtime=232.29
/proc/20715/task/20722/stat : 20722 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 18418 0 0 0 21723 1506 0 0 20 0 17 0 653497589 2146451456 490954 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134592564 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=20715/tid=20723] ppid=20713 vsize=2096144 CPUtime=232.53
/proc/20715/task/20723/stat : 20723 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 20212 0 0 0 21895 1358 0 0 20 0 17 0 653497589 2146451456 490955 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20715/tid=20724] ppid=20713 vsize=2096144 CPUtime=232.38
/proc/20715/task/20724/stat : 20724 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 19122 0 0 0 21766 1472 0 0 20 0 17 0 653497589 2146451456 490955 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20715/tid=20725] ppid=20713 vsize=2096144 CPUtime=232.27
/proc/20715/task/20725/stat : 20725 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 22766 0 0 0 21691 1536 0 0 20 0 17 0 653497589 2146451456 490955 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20715/tid=20726] ppid=20713 vsize=2096144 CPUtime=232.4
/proc/20715/task/20726/stat : 20726 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 22138 0 0 0 21740 1500 0 0 20 0 17 0 653497589 2146451456 490955 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=20715/tid=20727] ppid=20713 vsize=2096144 CPUtime=232.33
/proc/20715/task/20727/stat : 20727 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 19379 0 0 0 21739 1494 0 0 20 0 17 0 653497589 2146451456 490955 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20715/tid=20728] ppid=20713 vsize=2096144 CPUtime=232.37
/proc/20715/task/20728/stat : 20728 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 49129 0 0 0 21659 1578 0 0 20 0 17 0 653497589 2146451456 490955 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20715/tid=20729] ppid=20713 vsize=2096144 CPUtime=232.25
/proc/20715/task/20729/stat : 20729 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 46889 0 0 0 21609 1616 0 0 20 0 17 0 653497589 2146451456 490955 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20715/tid=20730] ppid=20713 vsize=2096144 CPUtime=232.31
/proc/20715/task/20730/stat : 20730 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 50934 0 0 0 21659 1572 0 0 20 0 17 0 653497589 2146451456 490955 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134562341 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20715/tid=20731] ppid=20713 vsize=2096144 CPUtime=227.74
/proc/20715/task/20731/stat : 20731 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 31974 0 0 0 21310 1464 0 0 20 0 17 0 653497589 2146451456 490955 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134592184 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20715/tid=20732] ppid=20713 vsize=2096144 CPUtime=232.3
/proc/20715/task/20732/stat : 20732 (ttsth-5-0) R 20713 20715 15497 0 -1 4202560 18772 0 0 0 21804 1426 0 0 20 0 17 0 653497592 2146451456 490955 18446744073709551615 134512640 135237372 4290091568 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3731.98
Current children cumulated vsize (KiB) 2096144

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

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

[startup+251.531 s]
/proc/loadavg: 15.79 10.80 5.91 18/201 20737
/proc/meminfo: memFree=17069232/36427776 swapFree=4692/1971556
[pid=20715] ppid=20713 vsize=0 CPUtime=3732.32
/proc/20715/stat : 20715 (ttsth-5-0) Z 20713 20715 15497 0 -1 4203532 492434 0 0 0 350551 22681 0 0 20 0 2 0 653495805 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20715/statm: 0 0 0 0 0 0 0
[pid=20715/tid=20732] ppid=20713 vsize=0 CPUtime=232.4
/proc/20715/task/20732/stat : 20732 (ttsth-5-0) R 20713 20715 15497 0 -1 4203588 18772 0 0 0 21806 1434 0 0 20 0 2 0 653497592 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3732.32
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 251.599
CPU time (s): 3732.41
CPU user time (s): 3505.52
CPU system time (s): 226.886
CPU usage (%): 1483.48
Max. virtual memory (cumulated for all children) (KiB): 2096144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3505.52
system time used= 226.886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 492434
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= 190719
involuntary context switches= 8105

runsolver used 1.15607 second user time and 3.69223 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 03:11:34
IDJOB=1776870
IDBENCH=69600
IDSOLVER=634
FILE ID=xenhost3-49/1776870-1244941894
PBS_JOBID=
Free space on /tmp= 7005 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT_RACE08/cnf/vange-col-abb313GPIA-9-c.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776870-1244941894/watcher-1776870-1244941894 -o /tmp/evaluation-result-1776870-1244941894/solver-1776870-1244941894 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776870-1244941894.cnf

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

MD5SUM BENCH= 0baefedb2aaa81442743e253487854d8
RANDOM SEED= 1918412775

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:      19031500 kB
Buffers:        478168 kB
Cached:       14136100 kB
SwapCached:          0 kB
Active:        4124324 kB
Inactive:     10498192 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           21640 kB
Writeback:           0 kB
AnonPages:        7720 kB
Mapped:           3600 kB
Slab:           719476 kB
SReclaimable:   692468 kB
SUnreclaim:      27008 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29736 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7005 MiB
End job on xenhost3-49 at 2009-06-14 03:15:48