Trace number 1780905

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) 1679.97 110.521

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_15_UNKNOWN.cnf
MD5SUM8e41b9860982308be5a85106d5324611
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 variables3152
Number of clauses330948
Sum of the clauses size988222
Maximum clause length16
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25025
Number of clauses of size 3325892
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data 

0.28/0.38	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780905-1244979264.cnf 
0.28/0.38	c Using SATTIMEOUT of 10000
0.28/0.38	c Using SATRAM of 2047
0.28/0.38	c Size of subset node = 16
0.28/0.38	c Variables = 3152
0.28/0.38	c Clauses = 330948
0.28/0.38	c Literals = 988222
0.28/0.38	c Reduced size:
0.28/0.38	c Variables = 3152
0.28/0.38	c Clauses = 330948
0.28/0.38	c Literals = 988222
0.28/0.38	c a2
0.88/1.00	c a1
2.30/2.36	c Independent sub-problems = 1
2.30/2.36	c Sub-problem with 3152 variables and 330948 clauses
2.30/2.36	c using permutation method 4
2.30/2.36	c count = 1
2.30/2.36	c Ordering finished 2.250 seconds
2.30/2.36	c mapped 2.360 seconds
2.30/2.36	c permuted 2.360 seconds
2.30/2.36	c about to sort
2.40/2.44	c sorted
4.88/4.90	c clauses now 330948
4.88/4.90	c init finished 2.510 seconds
4.88/4.90	c tree built 4.890 seconds
4.88/4.90	c 
4.88/4.90	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
4.88/4.90	c ---------------------------------|----------------------------------|------------------------------------------------------
4.88/4.90	c ................................ | ..........                       |                        4.9           0.0             
4.88/4.90	c ................................ | ..........                     1 |                        4.9           0.2             
4.88/4.90	c ................................ | ..........                     2 |                        4.9           0.4             
4.88/4.90	c ................................ | ..........                     3 |                        4.9           0.6             
4.88/4.90	c ................................ | ..........                     4 |                        4.9           0.8             
4.88/4.90	c ................................ | ..........                     5 |                        4.9           1.0             
6.27/5.09	c ................................ | ..........                  1000 | 26                     6.4         156.2        12043
231.05/19.34	c ................................ | ..........                267000 | 26647                201.0        1328.4     14325787
441.79/32.61	c ................................ | ..........                422000 | 41817                400.7        1053.2     29482565
643.73/45.40	c ................................ | ..........                556000 | 59117                600.1         926.5     44230138
847.52/58.17	c ................................ | ..........                659000 | 62573                800.9         822.9     57275702
1049.85/70.82	c ................................ | *.........                749000 | 66533               1000.1         748.9     69383480
1252.41/83.61	c ................................ | *.........                837000 | 70625               1201.6         696.6     81061701
1454.66/96.21	c ................................ | *.........                924000 | 74559               1400.6         659.7     92464525
1655.66/108.83	c ................................ | *.........                998000 | 77919               1600.3         623.6    103193054

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-1780905-1244979264/watcher-1780905-1244979264 -o /tmp/evaluation-result-1780905-1244979264/solver-1780905-1244979264 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780905-1244979264.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.86 15.29 12.02 2/184 29708
/proc/meminfo: memFree=18984752/36427776 swapFree=4312/8700
[pid=29708] ppid=29706 vsize=1540 CPUtime=0
/proc/29708/stat : 29708 (ttsth-5-0) R 29706 29708 15497 0 -1 4202496 278 0 0 0 0 0 0 0 20 0 1 0 657232772 1576960 235 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134732614 0 0 1 0 0 0 0 17 12 0 0 0 0 0
/proc/29708/statm: 385 235 75 177 0 207 0

[startup+0.013586 s]
/proc/loadavg: 15.86 15.29 12.02 2/184 29708
/proc/meminfo: memFree=18984752/36427776 swapFree=4312/8700
[pid=29708] ppid=29706 vsize=1804 CPUtime=0
/proc/29708/stat : 29708 (ttsth-5-0) R 29706 29708 15497 0 -1 4202496 334 0 0 0 0 0 0 0 20 0 1 0 657232772 1847296 291 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134732614 0 0 1 0 0 0 0 17 12 0 0 0 0 0
/proc/29708/statm: 451 292 75 177 0 273 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1804

[startup+0.1016 s]
/proc/loadavg: 15.86 15.29 12.02 2/184 29708
/proc/meminfo: memFree=18984752/36427776 swapFree=4312/8700
[pid=29708] ppid=29706 vsize=7232 CPUtime=0.1
/proc/29708/stat : 29708 (ttsth-5-0) R 29706 29708 15497 0 -1 4202496 1666 0 0 0 10 0 0 0 20 0 1 0 657232772 7405568 1623 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134732614 0 0 1 0 0 0 0 17 12 0 0 0 0 0
/proc/29708/statm: 1808 1623 75 177 0 1630 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7232

[startup+0.301613 s]
/proc/loadavg: 15.86 15.29 12.02 2/184 29708
/proc/meminfo: memFree=18984752/36427776 swapFree=4312/8700
[pid=29708] ppid=29706 vsize=19124 CPUtime=0.28
/proc/29708/stat : 29708 (ttsth-5-0) R 29706 29708 15497 0 -1 4202496 4669 0 0 0 26 2 0 0 20 0 1 0 657232772 19582976 4626 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134732614 0 0 1 0 0 0 0 17 12 0 0 0 0 0
/proc/29708/statm: 4781 4626 75 177 0 4603 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 19124

[startup+0.701641 s]
/proc/loadavg: 15.86 15.29 12.02 2/184 29708
/proc/meminfo: memFree=18984752/36427776 swapFree=4312/8700
[pid=29708] ppid=29706 vsize=45300 CPUtime=0.68
/proc/29708/stat : 29708 (ttsth-5-0) R 29706 29708 15497 0 -1 4202496 10554 0 0 0 62 6 0 0 20 0 1 0 657232772 46387200 10510 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134680720 0 0 1 0 0 0 0 17 12 0 0 0 0 0
/proc/29708/statm: 11325 10510 76 177 0 11147 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 45300

[startup+1.50169 s]
/proc/loadavg: 15.86 15.29 12.02 2/185 29709
/proc/meminfo: memFree=18942684/36427776 swapFree=4900/51136
[pid=29708] ppid=29706 vsize=44772 CPUtime=1.48
/proc/29708/stat : 29708 (ttsth-5-0) R 29706 29708 15497 0 -1 4202496 11531 0 0 0 142 6 0 0 20 0 1 0 657232772 45846528 10839 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134555312 0 0 1 0 0 0 0 17 12 0 0 0 0 0
/proc/29708/statm: 11193 10839 77 177 0 11015 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 44772

[startup+3.10185 s]
/proc/loadavg: 14.67 15.05 11.96 2/185 29709
/proc/meminfo: memFree=18937664/36427776 swapFree=4792/55792
[pid=29708] ppid=29706 vsize=80420 CPUtime=3.08
/proc/29708/stat : 29708 (ttsth-5-0) R 29706 29708 15497 0 -1 4202496 20668 0 0 0 298 10 0 0 20 0 1 0 657232772 82350080 19611 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134735855 0 0 1 0 0 0 0 17 12 0 0 0 0 0
/proc/29708/statm: 20105 19611 88 177 0 19927 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 80420

[startup+6.30724 s]
/proc/loadavg: 14.67 15.05 11.96 17/201 29725
/proc/meminfo: memFree=18860560/36427776 swapFree=4680/135724
[pid=29708] ppid=29706 vsize=271892 CPUtime=26.33
/proc/29708/stat : 29708 (ttsth-5-0) S 29706 29708 15497 0 -1 4202496 36458 0 0 0 1483 1150 0 0 20 0 17 0 657232772 278417408 34883 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29708/statm: 67973 34883 95 177 0 67795 0
[pid=29708/tid=29710] ppid=29706 vsize=271892 CPUtime=1.44
/proc/29708/task/29710/stat : 29710 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 580 0 0 0 106 38 0 0 20 0 17 0 657233262 278417408 34883 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134680737 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29708/tid=29711] ppid=29706 vsize=271892 CPUtime=1.34
/proc/29708/task/29711/stat : 29711 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 268 0 0 0 62 72 0 0 20 0 17 0 657233262 278417408 34883 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29708/tid=29712] ppid=29706 vsize=271892 CPUtime=1.32
/proc/29708/task/29712/stat : 29712 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 273 0 0 0 58 74 0 0 20 0 17 0 657233262 278417408 34883 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29708/tid=29713] ppid=29706 vsize=271892 CPUtime=1.32
/proc/29708/task/29713/stat : 29713 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 364 0 0 0 54 78 0 0 20 0 17 0 657233262 278417408 34883 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29708/tid=29714] ppid=29706 vsize=271892 CPUtime=1.34
/proc/29708/task/29714/stat : 29714 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 246 0 0 0 62 72 0 0 20 0 17 0 657233262 278417408 34883 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29708/tid=29715] ppid=29706 vsize=272048 CPUtime=1.32
/proc/29708/task/29715/stat : 29715 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 324 0 0 0 56 76 0 0 20 0 17 0 657233262 278577152 34883 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29708/tid=29716] ppid=29706 vsize=272048 CPUtime=1.34
/proc/29708/task/29716/stat : 29716 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 392 0 0 0 60 74 0 0 20 0 17 0 657233262 278577152 34884 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29708/tid=29717] ppid=29706 vsize=272048 CPUtime=1.32
/proc/29708/task/29717/stat : 29717 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 378 0 0 0 50 82 0 0 20 0 17 0 657233262 278577152 34884 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29708/tid=29718] ppid=29706 vsize=272048 CPUtime=1.34
/proc/29708/task/29718/stat : 29718 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 330 0 0 0 62 72 0 0 20 0 17 0 657233262 278577152 34884 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29708/tid=29719] ppid=29706 vsize=272048 CPUtime=1.34
/proc/29708/task/29719/stat : 29719 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 581 0 0 0 64 70 0 0 20 0 17 0 657233262 278577152 34884 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29708/tid=29720] ppid=29706 vsize=272048 CPUtime=1.32
/proc/29708/task/29720/stat : 29720 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 224 0 0 0 60 72 0 0 20 0 17 0 657233262 278577152 34884 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29708/tid=29721] ppid=29706 vsize=272048 CPUtime=1.32
/proc/29708/task/29721/stat : 29721 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 315 0 0 0 62 70 0 0 20 0 17 0 657233262 278577152 34884 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29708/tid=29722] ppid=29706 vsize=272048 CPUtime=1.32
/proc/29708/task/29722/stat : 29722 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 237 0 0 0 62 70 0 0 20 0 17 0 657233262 278577152 34884 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29708/tid=29723] ppid=29706 vsize=272048 CPUtime=1.32
/proc/29708/task/29723/stat : 29723 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 302 0 0 0 68 64 0 0 20 0 17 0 657233262 278577152 34884 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29708/tid=29724] ppid=29706 vsize=272048 CPUtime=1.32
/proc/29708/task/29724/stat : 29724 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 420 0 0 0 62 70 0 0 20 0 17 0 657233262 278577152 34884 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29708/tid=29725] ppid=29706 vsize=272048 CPUtime=1.32
/proc/29708/task/29725/stat : 29725 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 305 0 0 0 58 74 0 0 20 0 17 0 657233262 278577152 34884 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 26.33
Current children cumulated vsize (KiB) 271892

[startup+12.7048 s]
/proc/loadavg: 14.87 15.08 12.01 17/201 29725
/proc/meminfo: memFree=18759580/36427776 swapFree=4692/235516
[pid=29708] ppid=29706 vsize=381880 CPUtime=126.89
/proc/29708/stat : 29708 (ttsth-5-0) S 29706 29708 15497 0 -1 4202496 62391 0 0 0 8937 3752 0 0 20 0 17 0 657232772 391045120 60816 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29708/statm: 95470 60818 95 177 0 95292 0
[pid=29708/tid=29710] ppid=29706 vsize=381880 CPUtime=7.86
/proc/29708/task/29710/stat : 29710 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 2335 0 0 0 748 38 0 0 20 0 17 0 657233262 391045120 60818 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134591106 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29708/tid=29711] ppid=29706 vsize=381880 CPUtime=7.64
/proc/29708/task/29711/stat : 29711 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 1589 0 0 0 508 256 0 0 20 0 17 0 657233262 391045120 60818 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29708/tid=29712] ppid=29706 vsize=381880 CPUtime=7.64
/proc/29708/task/29712/stat : 29712 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 1658 0 0 0 534 230 0 0 20 0 17 0 657233262 391045120 60818 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29708/tid=29713] ppid=29706 vsize=381880 CPUtime=7.6
/proc/29708/task/29713/stat : 29713 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 2626 0 0 0 496 264 0 0 20 0 17 0 657233262 391045120 60818 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29708/tid=29714] ppid=29706 vsize=381880 CPUtime=7.62
/proc/29708/task/29714/stat : 29714 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 1346 0 0 0 506 256 0 0 20 0 17 0 657233262 391045120 60818 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29708/tid=29715] ppid=29706 vsize=381880 CPUtime=7.58
/proc/29708/task/29715/stat : 29715 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 1717 0 0 0 518 240 0 0 20 0 17 0 657233262 391045120 60818 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29708/tid=29716] ppid=29706 vsize=381880 CPUtime=7.62
/proc/29708/task/29716/stat : 29716 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 1407 0 0 0 504 258 0 0 20 0 17 0 657233262 391045120 60818 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134749365 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29708/tid=29717] ppid=29706 vsize=381880 CPUtime=7.6
/proc/29708/task/29717/stat : 29717 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 3332 0 0 0 490 270 0 0 20 0 17 0 657233262 391045120 60818 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29708/tid=29718] ppid=29706 vsize=381880 CPUtime=7.62
/proc/29708/task/29718/stat : 29718 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 1977 0 0 0 526 236 0 0 20 0 17 0 657233262 391045120 60818 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29708/tid=29719] ppid=29706 vsize=381880 CPUtime=7.62
/proc/29708/task/29719/stat : 29719 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 2811 0 0 0 526 236 0 0 20 0 17 0 657233262 391045120 60818 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29708/tid=29720] ppid=29706 vsize=381880 CPUtime=7.6
/proc/29708/task/29720/stat : 29720 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 1623 0 0 0 528 232 0 0 20 0 17 0 657233262 391045120 60818 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29708/tid=29721] ppid=29706 vsize=381880 CPUtime=7.6
/proc/29708/task/29721/stat : 29721 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 2106 0 0 0 528 232 0 0 20 0 17 0 657233262 391045120 60818 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134591645 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29708/tid=29722] ppid=29706 vsize=381880 CPUtime=7.6
/proc/29708/task/29722/stat : 29722 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 1209 0 0 0 514 246 0 0 20 0 17 0 657233262 391045120 60818 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29708/tid=29723] ppid=29706 vsize=381880 CPUtime=7.46
/proc/29708/task/29723/stat : 29723 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 2072 0 0 0 482 264 0 0 20 0 17 0 657233262 391045120 60818 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134952254 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29708/tid=29724] ppid=29706 vsize=381880 CPUtime=7.64
/proc/29708/task/29724/stat : 29724 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 1952 0 0 0 536 228 0 0 20 0 17 0 657233262 391045120 60818 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29708/tid=29725] ppid=29706 vsize=381880 CPUtime=7.62
/proc/29708/task/29725/stat : 29725 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 1714 0 0 0 514 248 0 0 20 0 17 0 657233262 391045120 60818 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 126.89
Current children cumulated vsize (KiB) 381880

[startup+25.5037 s]
/proc/loadavg: 15.04 15.11 12.05 17/201 29725
/proc/meminfo: memFree=18511964/36427776 swapFree=4692/484516
[pid=29708] ppid=29706 vsize=634376 CPUtime=329.18
/proc/29708/stat : 29708 (ttsth-5-0) S 29706 29708 15497 0 -1 4202496 122161 0 0 0 26399 6519 0 0 20 0 17 0 657232772 649601024 120586 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29708/statm: 158594 120586 95 177 0 158416 0
[pid=29708/tid=29710] ppid=29706 vsize=634376 CPUtime=20.6
/proc/29708/task/29710/stat : 29710 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 7198 0 0 0 2022 38 0 0 20 0 17 0 657233262 649601024 120586 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29708/tid=29711] ppid=29706 vsize=634376 CPUtime=20.3
/proc/29708/task/29711/stat : 29711 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 3379 0 0 0 1596 434 0 0 20 0 17 0 657233262 649601024 120586 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29708/tid=29712] ppid=29706 vsize=634376 CPUtime=20.32
/proc/29708/task/29712/stat : 29712 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 5719 0 0 0 1626 406 0 0 20 0 17 0 657233262 649601024 120586 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29708/tid=29713] ppid=29706 vsize=634376 CPUtime=20.24
/proc/29708/task/29713/stat : 29713 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 8313 0 0 0 1600 424 0 0 20 0 17 0 657233262 649601024 120586 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29708/tid=29714] ppid=29706 vsize=634376 CPUtime=20.28
/proc/29708/task/29714/stat : 29714 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 3030 0 0 0 1592 436 0 0 20 0 17 0 657233262 649601024 120586 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29708/tid=29715] ppid=29706 vsize=634376 CPUtime=20.2
/proc/29708/task/29715/stat : 29715 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 5035 0 0 0 1572 448 0 0 20 0 17 0 657233262 649601024 120586 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29708/tid=29716] ppid=29706 vsize=634376 CPUtime=20.28
/proc/29708/task/29716/stat : 29716 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 3904 0 0 0 1600 428 0 0 20 0 17 0 657233262 649601024 120586 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29708/tid=29717] ppid=29706 vsize=634376 CPUtime=20.26
/proc/29708/task/29717/stat : 29717 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 10992 0 0 0 1564 462 0 0 20 0 17 0 657233262 649601024 120586 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29708/tid=29718] ppid=29706 vsize=634376 CPUtime=20.26
/proc/29708/task/29718/stat : 29718 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 5628 0 0 0 1616 410 0 0 20 0 17 0 657233262 649601024 120587 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29708/tid=29719] ppid=29706 vsize=634376 CPUtime=20.3
/proc/29708/task/29719/stat : 29719 (ttsth-5-0) S 29706 29708 15497 0 -1 4202560 6897 0 0 0 1614 416 0 0 20 0 17 0 657233262 649601024 120587 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=29708/tid=29720] ppid=29706 vsize=634376 CPUtime=20.24
/proc/29708/task/29720/stat : 29720 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 4650 0 0 0 1596 428 0 0 20 0 17 0 657233262 649601024 120587 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29708/tid=29721] ppid=29706 vsize=634376 CPUtime=20.22
/proc/29708/task/29721/stat : 29721 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 5886 0 0 0 1602 420 0 0 20 0 17 0 657233262 649601024 120587 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29708/tid=29722] ppid=29706 vsize=634376 CPUtime=20.24
/proc/29708/task/29722/stat : 29722 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 3676 0 0 0 1584 440 0 0 20 0 17 0 657233262 649601024 120588 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29708/tid=29723] ppid=29706 vsize=634376 CPUtime=19.86
/proc/29708/task/29723/stat : 29723 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 6027 0 0 0 1540 446 0 0 20 0 17 0 657233262 649601024 120589 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29708/tid=29724] ppid=29706 vsize=634376 CPUtime=20.28
/proc/29708/task/29724/stat : 29724 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 5311 0 0 0 1610 418 0 0 20 0 17 0 657233262 649601024 120589 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29708/tid=29725] ppid=29706 vsize=634376 CPUtime=20.26
/proc/29708/task/29725/stat : 29725 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 5598 0 0 0 1584 442 0 0 20 0 17 0 657233262 649601024 120589 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 329.18
Current children cumulated vsize (KiB) 634376

[startup+51.1052 s]
/proc/loadavg: 15.37 15.18 12.15 17/201 29730
/proc/meminfo: memFree=18025696/36427776 swapFree=4692/968628
[pid=29708] ppid=29706 vsize=1154644 CPUtime=736.09
/proc/29708/stat : 29708 (ttsth-5-0) S 29706 29708 15497 0 -1 4202496 244235 0 0 0 65203 8406 0 0 20 0 17 0 657232772 1182355456 242660 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29708/statm: 288661 242660 95 177 0 288483 0
[pid=29708/tid=29710] ppid=29706 vsize=1154644 CPUtime=46.15
/proc/29708/task/29710/stat : 29710 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 12600 0 0 0 4573 42 0 0 20 0 17 0 657233262 1182355456 242660 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134751534 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29708/tid=29711] ppid=29706 vsize=1154644 CPUtime=45.79
/proc/29708/task/29711/stat : 29711 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 8727 0 0 0 4035 544 0 0 20 0 17 0 657233262 1182355456 242660 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29708/tid=29712] ppid=29706 vsize=1154644 CPUtime=45.77
/proc/29708/task/29712/stat : 29712 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 16087 0 0 0 4039 538 0 0 20 0 17 0 657233262 1182355456 242660 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134680296 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29708/tid=29713] ppid=29706 vsize=1154644 CPUtime=45.75
/proc/29708/task/29713/stat : 29713 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 15265 0 0 0 4057 518 0 0 20 0 17 0 657233262 1182355456 242660 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29708/tid=29714] ppid=29706 vsize=1154644 CPUtime=45.76
/proc/29708/task/29714/stat : 29714 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 8465 0 0 0 4022 554 0 0 20 0 17 0 657233262 1182355456 242660 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134549877 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29708/tid=29715] ppid=29706 vsize=1154644 CPUtime=45.62
/proc/29708/task/29715/stat : 29715 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 10874 0 0 0 3960 602 0 0 20 0 17 0 657233262 1182355456 242660 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134549950 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29708/tid=29716] ppid=29706 vsize=1154644 CPUtime=45.72
/proc/29708/task/29716/stat : 29716 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 8283 0 0 0 4030 542 0 0 20 0 17 0 657233262 1182355456 242660 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134591076 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29708/tid=29717] ppid=29706 vsize=1154644 CPUtime=45.74
/proc/29708/task/29717/stat : 29717 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 25681 0 0 0 3974 600 0 0 20 0 17 0 657233262 1182355456 242660 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29708/tid=29718] ppid=29706 vsize=1154644 CPUtime=45.71
/proc/29708/task/29718/stat : 29718 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 14378 0 0 0 4035 536 0 0 20 0 17 0 657233262 1182355456 242660 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134590541 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29708/tid=29719] ppid=29706 vsize=1154644 CPUtime=45.77
/proc/29708/task/29719/stat : 29719 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 16746 0 0 0 4049 528 0 0 20 0 17 0 657233262 1182355456 242660 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29708/tid=29720] ppid=29706 vsize=1154644 CPUtime=45.7
/proc/29708/task/29720/stat : 29720 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 11856 0 0 0 4036 534 0 0 20 0 17 0 657233262 1182355456 242661 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29708/tid=29721] ppid=29706 vsize=1154644 CPUtime=45.66
/proc/29708/task/29721/stat : 29721 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 12790 0 0 0 4000 566 0 0 20 0 17 0 657233262 1182355456 242661 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29708/tid=29722] ppid=29706 vsize=1155668 CPUtime=45.68
/proc/29708/task/29722/stat : 29722 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 10007 0 0 0 3996 572 0 0 20 0 17 0 657233262 1183404032 242661 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29708/tid=29723] ppid=29706 vsize=1155668 CPUtime=44.82
/proc/29708/task/29723/stat : 29723 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 15822 0 0 0 3900 582 0 0 20 0 17 0 657233262 1183404032 242663 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29708/tid=29724] ppid=29706 vsize=1155668 CPUtime=45.71
/proc/29708/task/29724/stat : 29724 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 11449 0 0 0 4001 570 0 0 20 0 17 0 657233262 1183404032 242663 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29708/tid=29725] ppid=29706 vsize=1155668 CPUtime=45.77
/proc/29708/task/29725/stat : 29725 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 14287 0 0 0 4023 554 0 0 20 0 17 0 657233262 1183404032 242663 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 736.09
Current children cumulated vsize (KiB) 1154644

[startup+102.313 s]
/proc/loadavg: 15.75 15.32 12.37 17/201 29730
/proc/meminfo: memFree=17243596/36427776 swapFree=4692/1750004
[pid=29708] ppid=29706 vsize=1980296 CPUtime=1552.07
/proc/29708/stat : 29708 (ttsth-5-0) S 29706 29708 15497 0 -1 4202496 437530 0 0 0 144715 10492 0 0 20 0 17 0 657232772 2027823104 435955 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29708/statm: 495074 435955 95 177 0 494896 0
[pid=29708/tid=29710] ppid=29706 vsize=1980296 CPUtime=97.34
/proc/29708/task/29710/stat : 29710 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 17344 0 0 0 9682 52 0 0 20 0 17 0 657233262 2027823104 435955 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134562388 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29708/tid=29711] ppid=29706 vsize=1980296 CPUtime=96.85
/proc/29708/task/29711/stat : 29711 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 15340 0 0 0 9001 684 0 0 20 0 17 0 657233262 2027823104 435955 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29708/tid=29712] ppid=29706 vsize=1980296 CPUtime=96.82
/proc/29708/task/29712/stat : 29712 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 36168 0 0 0 9004 678 0 0 20 0 17 0 657233262 2027823104 435955 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29708/tid=29713] ppid=29706 vsize=1980296 CPUtime=96.83
/proc/29708/task/29713/stat : 29713 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 29328 0 0 0 9067 616 0 0 20 0 17 0 657233262 2027823104 435955 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134591106 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29708/tid=29714] ppid=29706 vsize=1980296 CPUtime=96.83
/proc/29708/task/29714/stat : 29714 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 15815 0 0 0 9011 672 0 0 20 0 17 0 657233262 2027823104 435956 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29708/tid=29715] ppid=29706 vsize=1980296 CPUtime=96.64
/proc/29708/task/29715/stat : 29715 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 20261 0 0 0 8906 758 0 0 20 0 17 0 657233262 2027823104 435956 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29708/tid=29716] ppid=29706 vsize=1980296 CPUtime=96.81
/proc/29708/task/29716/stat : 29716 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 16353 0 0 0 9025 656 0 0 20 0 17 0 657233262 2027823104 435956 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29708/tid=29717] ppid=29706 vsize=1980296 CPUtime=96.77
/proc/29708/task/29717/stat : 29717 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 49184 0 0 0 8929 748 0 0 20 0 17 0 657233262 2027823104 435956 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29708/tid=29718] ppid=29706 vsize=1980296 CPUtime=96.72
/proc/29708/task/29718/stat : 29718 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 26895 0 0 0 8968 704 0 0 20 0 17 0 657233262 2027823104 435956 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29708/tid=29719] ppid=29706 vsize=1980296 CPUtime=96.8
/proc/29708/task/29719/stat : 29719 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 30040 0 0 0 9008 672 0 0 20 0 17 0 657233262 2027823104 435956 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29708/tid=29720] ppid=29706 vsize=1980296 CPUtime=96.78
/proc/29708/task/29720/stat : 29720 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 23706 0 0 0 9020 658 0 0 20 0 17 0 657233262 2027823104 435956 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134592308 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29708/tid=29721] ppid=29706 vsize=1980296 CPUtime=96.67
/proc/29708/task/29721/stat : 29721 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 28959 0 0 0 8953 714 0 0 20 0 17 0 657233262 2027823104 435956 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29708/tid=29722] ppid=29706 vsize=1980296 CPUtime=96.78
/proc/29708/task/29722/stat : 29722 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 18401 0 0 0 8972 706 0 0 20 0 17 0 657233262 2027823104 435956 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29708/tid=29723] ppid=29706 vsize=1980296 CPUtime=94.88
/proc/29708/task/29723/stat : 29723 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 28756 0 0 0 8776 712 0 0 20 0 17 0 657233262 2027823104 435956 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29708/tid=29724] ppid=29706 vsize=1980296 CPUtime=96.71
/proc/29708/task/29724/stat : 29724 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 24957 0 0 0 8921 750 0 0 20 0 17 0 657233262 2027823104 435956 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29708/tid=29725] ppid=29706 vsize=1980296 CPUtime=96.83
/proc/29708/task/29725/stat : 29725 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 25105 0 0 0 8993 690 0 0 20 0 17 0 657233262 2027823104 435957 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1552.07
Current children cumulated vsize (KiB) 1980296



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+110.303 s]
/proc/loadavg: 15.77 15.33 12.39 17/201 29730
/proc/meminfo: memFree=17133424/36427776 swapFree=4692/1861296
[pid=29708] ppid=29706 vsize=2097188 CPUtime=1679.57
/proc/29708/stat : 29708 (ttsth-5-0) S 29706 29708 15497 0 -1 4202496 464880 0 0 0 157240 10717 0 0 20 0 17 0 657232772 2147520512 463305 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29708/statm: 524297 463305 95 177 0 524119 0
[pid=29708/tid=29710] ppid=29706 vsize=2097188 CPUtime=105.34
/proc/29708/task/29710/stat : 29710 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 17826 0 0 0 10480 54 0 0 20 0 17 0 657233262 2147520512 463305 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134590267 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29708/tid=29711] ppid=29706 vsize=2097188 CPUtime=104.84
/proc/29708/task/29711/stat : 29711 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 15940 0 0 0 9782 702 0 0 20 0 17 0 657233262 2147520512 463305 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29708/tid=29712] ppid=29706 vsize=2097188 CPUtime=104.8
/proc/29708/task/29712/stat : 29712 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 38734 0 0 0 9784 696 0 0 20 0 17 0 657233262 2147520512 463305 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29708/tid=29713] ppid=29706 vsize=2097188 CPUtime=104.82
/proc/29708/task/29713/stat : 29713 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 31092 0 0 0 9854 628 0 0 20 0 17 0 657233262 2147520512 463305 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29708/tid=29714] ppid=29706 vsize=2097188 CPUtime=104.81
/proc/29708/task/29714/stat : 29714 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 17680 0 0 0 9797 684 0 0 20 0 17 0 657233262 2147520512 463305 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29708/tid=29715] ppid=29706 vsize=2097188 CPUtime=104.6
/proc/29708/task/29715/stat : 29715 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 22015 0 0 0 9682 778 0 0 20 0 17 0 657233262 2147520512 463305 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29708/tid=29716] ppid=29706 vsize=2097188 CPUtime=104.79
/proc/29708/task/29716/stat : 29716 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 17582 0 0 0 9809 670 0 0 20 0 17 0 657233262 2147520512 463305 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29708/tid=29717] ppid=29706 vsize=2097188 CPUtime=104.75
/proc/29708/task/29717/stat : 29717 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 51999 0 0 0 9711 764 0 0 20 0 17 0 657233262 2147520512 463305 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29708/tid=29718] ppid=29706 vsize=2097188 CPUtime=104.7
/proc/29708/task/29718/stat : 29718 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 28343 0 0 0 9756 714 0 0 20 0 17 0 657233262 2147520512 463305 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29708/tid=29719] ppid=29706 vsize=2097188 CPUtime=104.78
/proc/29708/task/29719/stat : 29719 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 32506 0 0 0 9788 690 0 0 20 0 17 0 657233262 2147520512 463305 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29708/tid=29720] ppid=29706 vsize=2097188 CPUtime=104.77
/proc/29708/task/29720/stat : 29720 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 24753 0 0 0 9805 672 0 0 20 0 17 0 657233262 2147520512 463305 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29708/tid=29721] ppid=29706 vsize=2097188 CPUtime=104.66
/proc/29708/task/29721/stat : 29721 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 31250 0 0 0 9742 724 0 0 20 0 17 0 657233262 2147520512 463305 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134561510 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29708/tid=29722] ppid=29706 vsize=2097188 CPUtime=104.74
/proc/29708/task/29722/stat : 29722 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 19363 0 0 0 9756 718 0 0 20 0 17 0 657233262 2147520512 463305 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134561546 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29708/tid=29723] ppid=29706 vsize=2097188 CPUtime=102.69
/proc/29708/task/29723/stat : 29723 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 30937 0 0 0 9543 726 0 0 20 0 17 0 657233262 2147520512 463305 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134680285 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29708/tid=29724] ppid=29706 vsize=2097188 CPUtime=104.68
/proc/29708/task/29724/stat : 29724 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 27184 0 0 0 9698 770 0 0 20 0 17 0 657233262 2147520512 463305 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29708/tid=29725] ppid=29706 vsize=2097188 CPUtime=104.82
/proc/29708/task/29725/stat : 29725 (ttsth-5-0) R 29706 29708 15497 0 -1 4202560 26757 0 0 0 9778 704 0 0 20 0 17 0 657233262 2147520512 463305 18446744073709551615 134512640 135237372 4289108288 18446744073709551615 134590156 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1679.57
Current children cumulated vsize (KiB) 2097188

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

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

[startup+110.427 s]
/proc/loadavg: 15.77 15.33 12.39 17/201 29730
/proc/meminfo: memFree=17133424/36427776 swapFree=4692/1861296
[pid=29708] ppid=29706 vsize=0 CPUtime=1679.87
/proc/29708/stat : 29708 (ttsth-5-0) Z 29706 29708 15497 0 -1 4203532 464904 0 0 0 157259 10728 0 0 20 0 2 0 657232772 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29708/statm: 0 0 0 0 0 0 0
[pid=29708/tid=29725] ppid=29706 vsize=0 CPUtime=104.92
/proc/29708/task/29725/stat : 29725 (ttsth-5-0) R 29706 29708 15497 0 -1 4203588 26765 0 0 0 9778 714 0 0 20 0 2 0 657233262 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1679.87
Current children cumulated vsize (KiB) 0

[startup+110.503 s]
/proc/loadavg: 15.77 15.33 12.39 17/201 29730
/proc/meminfo: memFree=17133424/36427776 swapFree=4692/1861296
[pid=29708] ppid=29706 vsize=0 CPUtime=1679.94
/proc/29708/stat : 29708 (ttsth-5-0) Z 29706 29708 15497 0 -1 4203532 464904 0 0 0 157259 10735 0 0 20 0 2 0 657232772 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29708/statm: 0 0 0 0 0 0 0
[pid=29708/tid=29725] ppid=29706 vsize=0 CPUtime=105
/proc/29708/task/29725/stat : 29725 (ttsth-5-0) R 29706 29708 15497 0 -1 4203588 26765 0 0 0 9778 722 0 0 20 0 2 0 657233262 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1679.94
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 110.521
CPU time (s): 1679.97
CPU user time (s): 1572.59
CPU system time (s): 107.375
CPU usage (%): 1520.05
Max. virtual memory (cumulated for all children) (KiB): 2097188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1572.59
system time used= 107.375
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 464904
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= 99885
involuntary context switches= 3646

runsolver used 0.444027 second user time and 1.70811 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 13:34:24
IDJOB=1780905
IDBENCH=71077
IDSOLVER=634
FILE ID=xenhost3-49/1780905-1244979264
PBS_JOBID=
Free space on /tmp= 7017 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_15_UNKNOWN.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780905-1244979264/watcher-1780905-1244979264 -o /tmp/evaluation-result-1780905-1244979264/solver-1780905-1244979264 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780905-1244979264.cnf

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

MD5SUM BENCH= 8e41b9860982308be5a85106d5324611
RANDOM SEED= 271814234

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:      18985196 kB
Buffers:        524804 kB
Cached:       14123040 kB
SwapCached:          0 kB
Active:        4170960 kB
Inactive:     10485604 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            5984 kB
Writeback:           0 kB
AnonPages:        8700 kB
Mapped:           3648 kB
Slab:           733568 kB
SReclaimable:   706680 kB
SUnreclaim:      26888 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29616 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7017 MiB
End job on xenhost3-49 at 2009-06-14 13:36:16