Trace number 1776285

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) 892.728 56.8863

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
MD5SUMb1a6497b6934405ef70bfcc51fa85893
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1074.69
Satisfiable
(Un)Satisfiability was proved
Number of variables1111
Number of clauses3756
Sum of the clauses size9786
Maximum clause length19
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 21603
Number of clauses of size 32090
Number of clauses of size 430
Number of clauses of size 518
Number of clauses of size over 512

Solver Data 

0.00/0.02	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776285-1244929625.cnf 
0.00/0.02	c Using SATTIMEOUT of 10000
0.00/0.02	c Using SATRAM of 2047
0.00/0.02	c Size of subset node = 16
0.00/0.02	c Variables = 1111
0.00/0.02	c Clauses = 3756
0.00/0.02	c Literals = 9786
0.00/0.02	c Reduced size:
0.00/0.02	c Variables = 1111
0.00/0.02	c Clauses = 3715
0.00/0.02	c Literals = 9704
0.00/0.02	c a2
0.00/0.02	c a1
0.10/0.14	c Independent sub-problems = 1
0.10/0.14	c Sub-problem with 1108 variables and 3715 clauses
0.10/0.14	c using permutation method 4
0.10/0.14	c count = 3
0.10/0.14	c Ordering finished 0.140 seconds
0.10/0.14	c mapped 0.140 seconds
0.10/0.14	c permuted 0.140 seconds
0.10/0.14	c about to sort
0.10/0.15	c sorted
0.10/0.18	c clauses now 3715
0.10/0.18	c init finished 0.160 seconds
0.10/0.18	c tree built 0.170 seconds
0.10/0.18	c 
0.10/0.18	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.10/0.18	c ---------------------------------|----------------------------------|------------------------------------------------------
0.10/0.18	c ................................ | ..........                       |                        0.2           0.0             
0.10/0.18	c ................................ | ..........                     1 |                        0.2           5.9            1
0.10/0.18	c ................................ | ..........                     2 |                        0.2          11.8            1
0.10/0.18	c ................................ | ..........                     3 |                        0.2          17.6            2
0.10/0.18	c ................................ | ..........                     4 |                        0.2          23.5            2
0.10/0.18	c ................................ | ..........                     5 |                        0.2          29.4            4
0.10/0.19	c ................................ | ..........                  1000 | 6                      0.2        4000.0          329
254.48/16.50	c ................................ | ..........                530000 | 59048                200.1        2648.8     27036482
478.21/30.64	c ................................ | ..........                782000 | 90057                400.3        1953.4     53152183
689.13/43.99	c ................................ | ..........                998000 | 113261               601.2        1659.9     78891271

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-1776285-1244929625/watcher-1776285-1244929625 -o /tmp/evaluation-result-1776285-1244929625/solver-1776285-1244929625 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776285-1244929625.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.37 11.04 5.94 2/184 18649
/proc/meminfo: memFree=19063012/36427776 swapFree=4356/7140
[pid=18649] ppid=18647 vsize=1540 CPUtime=0
/proc/18649/stat : 18649 (ttsth-5-0) R 18647 18649 15497 0 -1 4202496 264 0 0 0 0 0 0 0 20 0 1 0 652268909 1576960 221 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134519986 0 0 1 0 0 0 0 17 7 0 0 0 0 0
/proc/18649/statm: 385 221 75 177 0 207 0

[startup+0.092338 s]
/proc/loadavg: 15.37 11.04 5.94 2/184 18649
/proc/meminfo: memFree=19063012/36427776 swapFree=4356/7140
[pid=18649] ppid=18647 vsize=1672 CPUtime=0.08
/proc/18649/stat : 18649 (ttsth-5-0) R 18647 18649 15497 0 -1 4202496 315 0 0 0 8 0 0 0 20 0 1 0 652268909 1712128 272 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134599302 0 0 1 0 0 0 0 17 7 0 0 0 0 0
/proc/18649/statm: 418 272 76 177 0 240 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1672

[startup+0.100332 s]
/proc/loadavg: 15.37 11.04 5.94 2/184 18649
/proc/meminfo: memFree=19063012/36427776 swapFree=4356/7140
[pid=18649] ppid=18647 vsize=1672 CPUtime=0.1
/proc/18649/stat : 18649 (ttsth-5-0) R 18647 18649 15497 0 -1 4202496 319 0 0 0 10 0 0 0 20 0 1 0 652268909 1712128 276 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134555258 0 0 1 0 0 0 0 17 7 0 0 0 0 0
/proc/18649/statm: 418 276 76 177 0 240 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1672

[startup+0.304451 s]
/proc/loadavg: 15.37 11.04 5.94 2/184 18649
/proc/meminfo: memFree=19063012/36427776 swapFree=4356/7140
[pid=18649] ppid=18647 vsize=151484 CPUtime=1.94
/proc/18649/stat : 18649 (ttsth-5-0) S 18647 18649 15497 0 -1 4202496 4162 0 0 0 32 162 0 0 20 0 17 0 652268909 155119616 4119 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18649/statm: 37871 4119 94 177 0 37693 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 151484

[startup+0.703441 s]
/proc/loadavg: 15.37 11.04 5.94 2/184 18649
/proc/meminfo: memFree=19063012/36427776 swapFree=4356/7140
[pid=18649] ppid=18647 vsize=156136 CPUtime=8.2
/proc/18649/stat : 18649 (ttsth-5-0) S 18647 18649 15497 0 -1 4202496 5684 0 0 0 198 622 0 0 20 0 17 0 652268909 159883264 5641 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18649/statm: 39034 5642 94 177 0 38856 0
Current children cumulated CPU time (s) 8.2
Current children cumulated vsize (KiB) 156136

[startup+1.50457 s]
/proc/loadavg: 15.37 11.04 5.94 17/201 18666
/proc/meminfo: memFree=19038020/36427776 swapFree=4688/34520
[pid=18649] ppid=18647 vsize=174144 CPUtime=20.7
/proc/18649/stat : 18649 (ttsth-5-0) S 18647 18649 15497 0 -1 4202496 10118 0 0 0 629 1441 0 0 20 0 17 0 652268909 178323456 10075 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18649/statm: 43536 10077 94 177 0 43358 0
[pid=18649/tid=18651] ppid=18647 vsize=174144 CPUtime=1.3
/proc/18649/task/18651/stat : 18651 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 1744 0 0 0 128 2 0 0 20 0 17 0 652268928 178323456 10078 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18649/tid=18652] ppid=18647 vsize=174144 CPUtime=1.28
/proc/18649/task/18652/stat : 18652 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 365 0 0 0 32 96 0 0 20 0 17 0 652268928 178323456 10079 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18649/tid=18653] ppid=18647 vsize=174144 CPUtime=1.28
/proc/18649/task/18653/stat : 18653 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 375 0 0 0 36 92 0 0 20 0 17 0 652268928 178323456 10079 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18649/tid=18654] ppid=18647 vsize=174144 CPUtime=1.28
/proc/18649/task/18654/stat : 18654 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 350 0 0 0 36 92 0 0 20 0 17 0 652268928 178323456 10079 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18649/tid=18655] ppid=18647 vsize=174144 CPUtime=1.28
/proc/18649/task/18655/stat : 18655 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 383 0 0 0 34 94 0 0 20 0 17 0 652268928 178323456 10079 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18649/tid=18656] ppid=18647 vsize=174144 CPUtime=1.28
/proc/18649/task/18656/stat : 18656 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 315 0 0 0 34 94 0 0 20 0 17 0 652268928 178323456 10079 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134550411 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18649/tid=18657] ppid=18647 vsize=174144 CPUtime=1.28
/proc/18649/task/18657/stat : 18657 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 233 0 0 0 22 106 0 0 20 0 17 0 652268928 178323456 10079 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18649/tid=18658] ppid=18647 vsize=174144 CPUtime=1.28
/proc/18649/task/18658/stat : 18658 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 370 0 0 0 36 92 0 0 20 0 17 0 652268928 178323456 10080 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18649/tid=18659] ppid=18647 vsize=174144 CPUtime=1.28
/proc/18649/task/18659/stat : 18659 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 253 0 0 0 28 100 0 0 20 0 17 0 652268928 178323456 10080 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18649/tid=18660] ppid=18647 vsize=174144 CPUtime=1.26
/proc/18649/task/18660/stat : 18660 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 298 0 0 0 38 88 0 0 20 0 17 0 652268928 178323456 10080 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134591171 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18649/tid=18661] ppid=18647 vsize=174144 CPUtime=1.28
/proc/18649/task/18661/stat : 18661 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 268 0 0 0 36 92 0 0 20 0 17 0 652268928 178323456 10080 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18649/tid=18662] ppid=18647 vsize=174144 CPUtime=1.28
/proc/18649/task/18662/stat : 18662 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 205 0 0 0 24 104 0 0 20 0 17 0 652268928 178323456 10080 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18649/tid=18663] ppid=18647 vsize=174144 CPUtime=1.26
/proc/18649/task/18663/stat : 18663 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 337 0 0 0 30 96 0 0 20 0 17 0 652268928 178323456 10080 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18649/tid=18664] ppid=18647 vsize=174144 CPUtime=1.26
/proc/18649/task/18664/stat : 18664 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 430 0 0 0 32 94 0 0 20 0 17 0 652268928 178323456 10080 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18649/tid=18665] ppid=18647 vsize=174144 CPUtime=1.28
/proc/18649/task/18665/stat : 18665 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 370 0 0 0 28 100 0 0 20 0 17 0 652268928 178323456 10081 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18649/tid=18666] ppid=18647 vsize=174144 CPUtime=1.28
/proc/18649/task/18666/stat : 18666 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 391 0 0 0 36 92 0 0 20 0 17 0 652268928 178323456 10082 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 20.7
Current children cumulated vsize (KiB) 174144

[startup+3.10473 s]
/proc/loadavg: 15.42 11.12 5.99 17/201 18666
/proc/meminfo: memFree=19010040/36427776 swapFree=4688/62920
[pid=18649] ppid=18647 vsize=217176 CPUtime=45.69
/proc/18649/stat : 18649 (ttsth-5-0) S 18647 18649 15497 0 -1 4202496 20907 0 0 0 1684 2885 0 0 20 0 17 0 652268909 222388224 20864 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18649/statm: 54294 20866 94 177 0 54116 0
[pid=18649/tid=18651] ppid=18647 vsize=217176 CPUtime=2.9
/proc/18649/task/18651/stat : 18651 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 4540 0 0 0 284 6 0 0 20 0 17 0 652268928 222388224 20867 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18649/tid=18652] ppid=18647 vsize=217176 CPUtime=2.84
/proc/18649/task/18652/stat : 18652 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 1054 0 0 0 96 188 0 0 20 0 17 0 652268928 222388224 20867 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18649/tid=18653] ppid=18647 vsize=217176 CPUtime=2.84
/proc/18649/task/18653/stat : 18653 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 1012 0 0 0 86 198 0 0 20 0 17 0 652268928 222388224 20867 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18649/tid=18654] ppid=18647 vsize=217176 CPUtime=2.84
/proc/18649/task/18654/stat : 18654 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 701 0 0 0 98 186 0 0 20 0 17 0 652268928 222388224 20867 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18649/tid=18655] ppid=18647 vsize=217176 CPUtime=2.84
/proc/18649/task/18655/stat : 18655 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 1007 0 0 0 104 180 0 0 20 0 17 0 652268928 222388224 20867 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18649/tid=18656] ppid=18647 vsize=217176 CPUtime=2.84
/proc/18649/task/18656/stat : 18656 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 587 0 0 0 94 190 0 0 20 0 17 0 652268928 222388224 20867 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18649/tid=18657] ppid=18647 vsize=217176 CPUtime=2.84
/proc/18649/task/18657/stat : 18657 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 976 0 0 0 76 208 0 0 20 0 17 0 652268928 222388224 20867 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18649/tid=18658] ppid=18647 vsize=217176 CPUtime=2.84
/proc/18649/task/18658/stat : 18658 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 797 0 0 0 96 188 0 0 20 0 17 0 652268928 222388224 20867 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18649/tid=18659] ppid=18647 vsize=217176 CPUtime=2.82
/proc/18649/task/18659/stat : 18659 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 691 0 0 0 90 192 0 0 20 0 17 0 652268928 222388224 20867 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18649/tid=18660] ppid=18647 vsize=217176 CPUtime=2.82
/proc/18649/task/18660/stat : 18660 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 922 0 0 0 100 182 0 0 20 0 17 0 652268928 222388224 20869 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18649/tid=18661] ppid=18647 vsize=217176 CPUtime=2.84
/proc/18649/task/18661/stat : 18661 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 678 0 0 0 100 184 0 0 20 0 17 0 652268928 222388224 20869 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18649/tid=18662] ppid=18647 vsize=217176 CPUtime=2.82
/proc/18649/task/18662/stat : 18662 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 499 0 0 0 76 206 0 0 20 0 17 0 652268928 222388224 20869 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18649/tid=18663] ppid=18647 vsize=217176 CPUtime=2.84
/proc/18649/task/18663/stat : 18663 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 707 0 0 0 84 200 0 0 20 0 17 0 652268928 222388224 20869 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134593217 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18649/tid=18664] ppid=18647 vsize=217176 CPUtime=2.8
/proc/18649/task/18664/stat : 18664 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 1223 0 0 0 100 180 0 0 20 0 17 0 652268928 222388224 20870 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134590773 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18649/tid=18665] ppid=18647 vsize=217176 CPUtime=2.84
/proc/18649/task/18665/stat : 18665 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 1213 0 0 0 92 192 0 0 20 0 17 0 652268928 222388224 20870 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18649/tid=18666] ppid=18647 vsize=217176 CPUtime=2.84
/proc/18649/task/18666/stat : 18666 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 868 0 0 0 88 196 0 0 20 0 17 0 652268928 222388224 20870 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 45.69
Current children cumulated vsize (KiB) 217176

[startup+6.30644 s]
/proc/loadavg: 15.42 11.12 5.99 17/201 18666
/proc/meminfo: memFree=18920352/36427776 swapFree=4688/154996
[pid=18649] ppid=18647 vsize=307112 CPUtime=95.75
/proc/18649/stat : 18649 (ttsth-5-0) S 18647 18649 15497 0 -1 4202496 43361 0 0 0 4342 5233 0 0 20 0 17 0 652268909 314482688 43318 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18649/statm: 76778 43320 94 177 0 76600 0
[pid=18649/tid=18651] ppid=18647 vsize=307112 CPUtime=6.12
/proc/18649/task/18651/stat : 18651 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 9102 0 0 0 602 10 0 0 20 0 17 0 652268928 314482688 43320 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18649/tid=18652] ppid=18647 vsize=307112 CPUtime=5.98
/proc/18649/task/18652/stat : 18652 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 2225 0 0 0 258 340 0 0 20 0 17 0 652268928 314482688 43320 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18649/tid=18653] ppid=18647 vsize=307112 CPUtime=5.96
/proc/18649/task/18653/stat : 18653 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 2523 0 0 0 248 348 0 0 20 0 17 0 652268928 314482688 43320 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18649/tid=18654] ppid=18647 vsize=307112 CPUtime=5.98
/proc/18649/task/18654/stat : 18654 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 1362 0 0 0 274 324 0 0 20 0 17 0 652268928 314482688 43320 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18649/tid=18655] ppid=18647 vsize=307112 CPUtime=5.98
/proc/18649/task/18655/stat : 18655 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 2070 0 0 0 268 330 0 0 20 0 17 0 652268928 314482688 43320 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18649/tid=18656] ppid=18647 vsize=307112 CPUtime=5.96
/proc/18649/task/18656/stat : 18656 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 1157 0 0 0 256 340 0 0 20 0 17 0 652268928 314482688 43320 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18649/tid=18657] ppid=18647 vsize=307112 CPUtime=5.98
/proc/18649/task/18657/stat : 18657 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 3229 0 0 0 238 360 0 0 20 0 17 0 652268928 314482688 43322 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18649/tid=18658] ppid=18647 vsize=307112 CPUtime=5.98
/proc/18649/task/18658/stat : 18658 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 2015 0 0 0 250 348 0 0 20 0 17 0 652268928 314482688 43322 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18649/tid=18659] ppid=18647 vsize=307112 CPUtime=5.94
/proc/18649/task/18659/stat : 18659 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 1568 0 0 0 238 356 0 0 20 0 17 0 652268928 314482688 43322 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18649/tid=18660] ppid=18647 vsize=307112 CPUtime=5.96
/proc/18649/task/18660/stat : 18660 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 1930 0 0 0 262 334 0 0 20 0 17 0 652268928 314482688 43322 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18649/tid=18661] ppid=18647 vsize=307112 CPUtime=5.96
/proc/18649/task/18661/stat : 18661 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 2079 0 0 0 250 346 0 0 20 0 17 0 652268928 314482688 43322 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18649/tid=18662] ppid=18647 vsize=307112 CPUtime=5.92
/proc/18649/task/18662/stat : 18662 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 1449 0 0 0 214 378 0 0 20 0 17 0 652268928 314482688 43322 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18649/tid=18663] ppid=18647 vsize=307112 CPUtime=5.94
/proc/18649/task/18663/stat : 18663 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 1887 0 0 0 224 370 0 0 20 0 17 0 652268928 314482688 43322 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18649/tid=18664] ppid=18647 vsize=307112 CPUtime=5.86
/proc/18649/task/18664/stat : 18664 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 2691 0 0 0 260 326 0 0 20 0 17 0 652268928 314482688 43322 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18649/tid=18665] ppid=18647 vsize=307112 CPUtime=5.98
/proc/18649/task/18665/stat : 18665 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 2627 0 0 0 254 344 0 0 20 0 17 0 652268928 314482688 43322 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18649/tid=18666] ppid=18647 vsize=307112 CPUtime=5.96
/proc/18649/task/18666/stat : 18666 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 2015 0 0 0 226 370 0 0 20 0 17 0 652268928 314482688 43324 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 95.75
Current children cumulated vsize (KiB) 307112

[startup+12.7054 s]
/proc/loadavg: 15.44 11.27 6.09 17/201 18666
/proc/meminfo: memFree=18701272/36427776 swapFree=4688/371520
[pid=18649] ppid=18647 vsize=521588 CPUtime=196.2
/proc/18649/stat : 18649 (ttsth-5-0) S 18647 18649 15497 0 -1 4202496 96979 0 0 0 10992 8628 0 0 20 0 17 0 652268909 534106112 96936 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18649/statm: 130397 96938 94 177 0 130219 0
[pid=18649/tid=18651] ppid=18647 vsize=521588 CPUtime=12.5
/proc/18649/task/18651/stat : 18651 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 17088 0 0 0 1228 22 0 0 20 0 17 0 652268928 534106112 96939 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18649/tid=18652] ppid=18647 vsize=521588 CPUtime=12.24
/proc/18649/task/18652/stat : 18652 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 5368 0 0 0 658 566 0 0 20 0 17 0 652268928 534106112 96939 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18649/tid=18653] ppid=18647 vsize=521588 CPUtime=12.24
/proc/18649/task/18653/stat : 18653 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 6634 0 0 0 656 568 0 0 20 0 17 0 652268928 534106112 96940 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18649/tid=18654] ppid=18647 vsize=521588 CPUtime=12.28
/proc/18649/task/18654/stat : 18654 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 2894 0 0 0 686 542 0 0 20 0 17 0 652268928 534106112 96940 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134590275 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18649/tid=18655] ppid=18647 vsize=521588 CPUtime=12.26
/proc/18649/task/18655/stat : 18655 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 4666 0 0 0 688 538 0 0 20 0 17 0 652268928 534106112 96940 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18649/tid=18656] ppid=18647 vsize=521588 CPUtime=12.26
/proc/18649/task/18656/stat : 18656 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 3376 0 0 0 660 566 0 0 20 0 17 0 652268928 534106112 96941 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18649/tid=18657] ppid=18647 vsize=521588 CPUtime=12.28
/proc/18649/task/18657/stat : 18657 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 7993 0 0 0 648 580 0 0 20 0 17 0 652268928 534106112 96941 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18649/tid=18658] ppid=18647 vsize=521588 CPUtime=12.22
/proc/18649/task/18658/stat : 18658 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 5194 0 0 0 634 588 0 0 20 0 17 0 652268928 534106112 96941 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18649/tid=18659] ppid=18647 vsize=521588 CPUtime=12.2
/proc/18649/task/18659/stat : 18659 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 3852 0 0 0 624 596 0 0 20 0 17 0 652268928 534106112 96941 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18649/tid=18660] ppid=18647 vsize=521588 CPUtime=12.26
/proc/18649/task/18660/stat : 18660 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 4402 0 0 0 676 550 0 0 20 0 17 0 652268928 534106112 96942 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18649/tid=18661] ppid=18647 vsize=521588 CPUtime=12.24
/proc/18649/task/18661/stat : 18661 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 5097 0 0 0 656 568 0 0 20 0 17 0 652268928 534106112 96942 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18649/tid=18662] ppid=18647 vsize=521588 CPUtime=12.2
/proc/18649/task/18662/stat : 18662 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 5480 0 0 0 640 580 0 0 20 0 17 0 652268928 534106112 96942 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18649/tid=18663] ppid=18647 vsize=521588 CPUtime=12.22
/proc/18649/task/18663/stat : 18663 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 4064 0 0 0 612 610 0 0 20 0 17 0 652268928 534106112 96943 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18649/tid=18664] ppid=18647 vsize=521588 CPUtime=12.04
/proc/18649/task/18664/stat : 18664 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 6702 0 0 0 668 536 0 0 20 0 17 0 652268928 534106112 96943 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134680208 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18649/tid=18665] ppid=18647 vsize=521588 CPUtime=12.26
/proc/18649/task/18665/stat : 18665 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 5748 0 0 0 664 562 0 0 20 0 17 0 652268928 534106112 96943 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18649/tid=18666] ppid=18647 vsize=521588 CPUtime=12.18
/proc/18649/task/18666/stat : 18666 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 4991 0 0 0 570 648 0 0 20 0 17 0 652268928 534106112 96944 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 196.2
Current children cumulated vsize (KiB) 521588

[startup+25.5025 s]
/proc/loadavg: 15.45 11.40 6.19 17/201 18666
/proc/meminfo: memFree=18256200/36427776 swapFree=4688/817232
[pid=18649] ppid=18647 vsize=952892 CPUtime=397.74
/proc/18649/stat : 18649 (ttsth-5-0) S 18647 18649 15497 0 -1 4202496 204845 0 0 0 26596 13178 0 0 20 0 17 0 652268909 975761408 204802 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18649/statm: 238223 204802 94 177 0 238045 0
[pid=18649/tid=18651] ppid=18647 vsize=952892 CPUtime=25.28
/proc/18649/task/18651/stat : 18651 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 26714 0 0 0 2490 38 0 0 20 0 17 0 652268928 975761408 204802 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18649/tid=18652] ppid=18647 vsize=952892 CPUtime=24.86
/proc/18649/task/18652/stat : 18652 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 11341 0 0 0 1646 840 0 0 20 0 17 0 652268928 975761408 204804 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18649/tid=18653] ppid=18647 vsize=952892 CPUtime=24.84
/proc/18649/task/18653/stat : 18653 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 14651 0 0 0 1648 836 0 0 20 0 17 0 652268928 975761408 204805 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18649/tid=18654] ppid=18647 vsize=952892 CPUtime=24.9
/proc/18649/task/18654/stat : 18654 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 8618 0 0 0 1648 842 0 0 20 0 17 0 652268928 975761408 204805 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18649/tid=18655] ppid=18647 vsize=952892 CPUtime=24.9
/proc/18649/task/18655/stat : 18655 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 9507 0 0 0 1664 826 0 0 20 0 17 0 652268928 975761408 204805 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18649/tid=18656] ppid=18647 vsize=952892 CPUtime=24.86
/proc/18649/task/18656/stat : 18656 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 9120 0 0 0 1608 878 0 0 20 0 17 0 652268928 975761408 204805 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18649/tid=18657] ppid=18647 vsize=952892 CPUtime=24.9
/proc/18649/task/18657/stat : 18657 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 17626 0 0 0 1600 890 0 0 20 0 17 0 652268928 975761408 204805 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18649/tid=18658] ppid=18647 vsize=952892 CPUtime=24.8
/proc/18649/task/18658/stat : 18658 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 14210 0 0 0 1578 902 0 0 20 0 17 0 652268928 975761408 204805 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18649/tid=18659] ppid=18647 vsize=952892 CPUtime=24.72
/proc/18649/task/18659/stat : 18659 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 9697 0 0 0 1528 944 0 0 20 0 17 0 652268928 975761408 204805 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18649/tid=18660] ppid=18647 vsize=952892 CPUtime=24.88
/proc/18649/task/18660/stat : 18660 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 9206 0 0 0 1684 804 0 0 20 0 17 0 652268928 975761408 204806 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18649/tid=18661] ppid=18647 vsize=952892 CPUtime=24.84
/proc/18649/task/18661/stat : 18661 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 10624 0 0 0 1626 858 0 0 20 0 17 0 652268928 975761408 204806 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18649/tid=18662] ppid=18647 vsize=952892 CPUtime=24.84
/proc/18649/task/18662/stat : 18662 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 12734 0 0 0 1592 892 0 0 20 0 17 0 652268928 975761408 204806 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18649/tid=18663] ppid=18647 vsize=952892 CPUtime=24.78
/proc/18649/task/18663/stat : 18663 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 10221 0 0 0 1548 930 0 0 20 0 17 0 652268928 975761408 204807 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18649/tid=18664] ppid=18647 vsize=952892 CPUtime=24.44
/proc/18649/task/18664/stat : 18664 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 13427 0 0 0 1624 820 0 0 20 0 17 0 652268928 975761408 204807 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18649/tid=18665] ppid=18647 vsize=952892 CPUtime=24.86
/proc/18649/task/18665/stat : 18665 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 12117 0 0 0 1646 840 0 0 20 0 17 0 652268928 975761408 204807 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18649/tid=18666] ppid=18647 vsize=952892 CPUtime=24.68
/proc/18649/task/18666/stat : 18666 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 11601 0 0 0 1440 1028 0 0 20 0 17 0 652268928 975761408 204807 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 397.74
Current children cumulated vsize (KiB) 952892

[startup+51.1031 s]
/proc/loadavg: 15.64 11.77 6.45 17/201 18666
/proc/meminfo: memFree=17335612/36427776 swapFree=4688/1734620
[pid=18649] ppid=18647 vsize=1885836 CPUtime=803.18
/proc/18649/stat : 18649 (ttsth-5-0) S 18647 18649 15497 0 -1 4202496 437840 0 0 0 63385 16933 0 0 20 0 17 0 652268909 1931096064 437797 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18649/statm: 471459 437798 94 177 0 471281 0
[pid=18649/tid=18651] ppid=18647 vsize=1885836 CPUtime=50.84
/proc/18649/task/18651/stat : 18651 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 47537 0 0 0 5022 62 0 0 20 0 17 0 652268928 1931096064 437801 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18649/tid=18652] ppid=18647 vsize=1885836 CPUtime=50.3
/proc/18649/task/18652/stat : 18652 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 18833 0 0 0 3992 1038 0 0 20 0 17 0 652268928 1931096064 437801 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18649/tid=18653] ppid=18647 vsize=1885836 CPUtime=50.21
/proc/18649/task/18653/stat : 18653 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 29730 0 0 0 3937 1084 0 0 20 0 17 0 652268928 1931096064 437801 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18649/tid=18654] ppid=18647 vsize=1885836 CPUtime=50.27
/proc/18649/task/18654/stat : 18654 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 20145 0 0 0 3939 1088 0 0 20 0 17 0 652268928 1931096064 437801 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18649/tid=18655] ppid=18647 vsize=1885836 CPUtime=50.27
/proc/18649/task/18655/stat : 18655 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 20724 0 0 0 3963 1064 0 0 20 0 17 0 652268928 1931096064 437802 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18649/tid=18656] ppid=18647 vsize=1885836 CPUtime=50.19
/proc/18649/task/18656/stat : 18656 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 30483 0 0 0 3863 1156 0 0 20 0 17 0 652268928 1931096064 437802 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18649/tid=18657] ppid=18647 vsize=1885836 CPUtime=50.32
/proc/18649/task/18657/stat : 18657 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 37730 0 0 0 3904 1128 0 0 20 0 17 0 652268928 1931096064 437802 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18649/tid=18658] ppid=18647 vsize=1885836 CPUtime=50.13
/proc/18649/task/18658/stat : 18658 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 29752 0 0 0 3837 1176 0 0 20 0 17 0 652268928 1931096064 437802 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18649/tid=18659] ppid=18647 vsize=1885836 CPUtime=50.02
/proc/18649/task/18659/stat : 18659 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 25479 0 0 0 3794 1208 0 0 20 0 17 0 652268928 1931096064 437802 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18649/tid=18660] ppid=18647 vsize=1885836 CPUtime=50.35
/proc/18649/task/18660/stat : 18660 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 16432 0 0 0 4059 976 0 0 20 0 17 0 652268928 1931096064 437802 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18649/tid=18661] ppid=18647 vsize=1885836 CPUtime=50.22
/proc/18649/task/18661/stat : 18661 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 27759 0 0 0 3916 1106 0 0 20 0 17 0 652268928 1931096064 437803 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134634688 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18649/tid=18662] ppid=18647 vsize=1885836 CPUtime=50.23
/proc/18649/task/18662/stat : 18662 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 26869 0 0 0 3897 1126 0 0 20 0 17 0 652268928 1931096064 437803 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18649/tid=18663] ppid=18647 vsize=1885836 CPUtime=50.08
/proc/18649/task/18663/stat : 18663 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 21775 0 0 0 3802 1206 0 0 20 0 17 0 652268928 1931096064 437803 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18649/tid=18664] ppid=18647 vsize=1885836 CPUtime=49.31
/proc/18649/task/18664/stat : 18664 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 30883 0 0 0 3843 1088 0 0 20 0 17 0 652268928 1931096064 437804 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134545992 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18649/tid=18665] ppid=18647 vsize=1885836 CPUtime=50.24
/proc/18649/task/18665/stat : 18665 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 24343 0 0 0 3926 1098 0 0 20 0 17 0 652268928 1931096064 437805 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18649/tid=18666] ppid=18647 vsize=1885836 CPUtime=49.93
/proc/18649/task/18666/stat : 18666 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 25937 0 0 0 3673 1320 0 0 20 0 17 0 652268928 1931096064 437805 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 803.18
Current children cumulated vsize (KiB) 1885836



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+56.7035 s]
/proc/loadavg: 15.66 11.84 6.50 18/201 18666
/proc/meminfo: memFree=17100368/36427776 swapFree=4688/1969192
[pid=18649] ppid=18647 vsize=2097196 CPUtime=892.41
/proc/18649/stat : 18649 (ttsth-5-0) S 18647 18649 15497 0 -1 4202496 490576 0 0 0 71878 17363 0 0 20 0 17 0 652268909 2147528704 490533 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18649/statm: 524299 490533 94 177 0 524121 0
[pid=18649/tid=18651] ppid=18647 vsize=2097196 CPUtime=56.45
/proc/18649/task/18651/stat : 18651 (ttsth-5-0) S 18647 18649 15497 0 -1 4202560 51053 0 0 0 5579 66 0 0 20 0 17 0 652268928 2147528704 490534 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134634454 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=18649/tid=18652] ppid=18647 vsize=2097196 CPUtime=55.89
/proc/18649/task/18652/stat : 18652 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 21200 0 0 0 4529 1060 0 0 20 0 17 0 652268928 2147528704 490534 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18649/tid=18653] ppid=18647 vsize=2097196 CPUtime=55.8
/proc/18649/task/18653/stat : 18653 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 33186 0 0 0 4462 1118 0 0 20 0 17 0 652268928 2147528704 490535 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134634688 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18649/tid=18654] ppid=18647 vsize=2097196 CPUtime=55.86
/proc/18649/task/18654/stat : 18654 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 22621 0 0 0 4472 1114 0 0 20 0 17 0 652268928 2147528704 490535 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18649/tid=18655] ppid=18647 vsize=2097196 CPUtime=55.84
/proc/18649/task/18655/stat : 18655 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 26326 0 0 0 4482 1102 0 0 20 0 17 0 652268928 2147528704 490536 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134680470 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18649/tid=18656] ppid=18647 vsize=2097196 CPUtime=55.76
/proc/18649/task/18656/stat : 18656 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 36500 0 0 0 4384 1192 0 0 20 0 17 0 652268928 2147528704 490537 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18649/tid=18657] ppid=18647 vsize=2097196 CPUtime=55.89
/proc/18649/task/18657/stat : 18657 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 41910 0 0 0 4435 1154 0 0 20 0 17 0 652268928 2147528704 490538 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18649/tid=18658] ppid=18647 vsize=2097196 CPUtime=55.72
/proc/18649/task/18658/stat : 18658 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 32520 0 0 0 4370 1202 0 0 20 0 17 0 652268928 2147528704 490538 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18649/tid=18659] ppid=18647 vsize=2097196 CPUtime=55.6
/proc/18649/task/18659/stat : 18659 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 28471 0 0 0 4316 1244 0 0 20 0 17 0 652268928 2147528704 490538 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18649/tid=18660] ppid=18647 vsize=2097196 CPUtime=55.94
/proc/18649/task/18660/stat : 18660 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 17935 0 0 0 4600 994 0 0 20 0 17 0 652268928 2147528704 490538 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18649/tid=18661] ppid=18647 vsize=2097196 CPUtime=55.8
/proc/18649/task/18661/stat : 18661 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 30073 0 0 0 4454 1126 0 0 20 0 17 0 652268928 2147528704 490538 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134590318 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18649/tid=18662] ppid=18647 vsize=2097196 CPUtime=55.82
/proc/18649/task/18662/stat : 18662 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 29414 0 0 0 4432 1150 0 0 20 0 17 0 652268928 2147528704 490539 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18649/tid=18663] ppid=18647 vsize=2097196 CPUtime=55.66
/proc/18649/task/18663/stat : 18663 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 23671 0 0 0 4332 1234 0 0 20 0 17 0 652268928 2147528704 490539 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18649/tid=18664] ppid=18647 vsize=2097196 CPUtime=54.75
/proc/18649/task/18664/stat : 18664 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 36190 0 0 0 4353 1122 0 0 20 0 17 0 652268928 2147528704 490539 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18649/tid=18665] ppid=18647 vsize=2097196 CPUtime=55.83
/proc/18649/task/18665/stat : 18665 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 26451 0 0 0 4467 1116 0 0 20 0 17 0 652268928 2147528704 490539 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134589986 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18649/tid=18666] ppid=18647 vsize=2097196 CPUtime=55.5
/proc/18649/task/18666/stat : 18666 (ttsth-5-0) R 18647 18649 15497 0 -1 4202560 29622 0 0 0 4192 1358 0 0 20 0 17 0 652268928 2147528704 490540 18446744073709551615 134512640 135237372 4291785680 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 892.41
Current children cumulated vsize (KiB) 2097196

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

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

[startup+56.8252 s]
/proc/loadavg: 15.66 11.84 6.50 18/201 18666
/proc/meminfo: memFree=17100368/36427776 swapFree=4688/1969192
[pid=18649] ppid=18647 vsize=0 CPUtime=892.65
/proc/18649/stat : 18649 (ttsth-5-0) Z 18647 18649 15497 0 -1 4203532 490667 0 0 0 71890 17375 0 0 20 0 2 0 652268909 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18649/statm: 0 0 0 0 0 0 0
[pid=18649/tid=18666] ppid=18647 vsize=0 CPUtime=55.6
/proc/18649/task/18666/stat : 18666 (ttsth-5-0) R 18647 18649 15497 0 -1 4203588 29629 0 0 0 4192 1368 0 0 20 0 2 0 652268928 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 892.65
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 56.8863
CPU time (s): 892.728
CPU user time (s): 718.913
CPU system time (s): 173.815
CPU usage (%): 1569.32
Max. virtual memory (cumulated for all children) (KiB): 2097196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 718.913
system time used= 173.815
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 490667
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= 109203
involuntary context switches= 2017

runsolver used 0.248015 second user time and 0.868054 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 23:47:05
IDJOB=1776285
IDBENCH=20474
IDSOLVER=634
FILE ID=xenhost3-49/1776285-1244929625
PBS_JOBID=
Free space on /tmp= 7026 MiB

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

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

MD5SUM BENCH= b1a6497b6934405ef70bfcc51fa85893
RANDOM SEED= 1351287574

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:      19063004 kB
Buffers:        472600 kB
Cached:       14114964 kB
SwapCached:          0 kB
Active:        4118672 kB
Inactive:     10477272 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:             716 kB
Writeback:           0 kB
AnonPages:        7096 kB
Mapped:           3688 kB
Slab:           717356 kB
SReclaimable:   690540 kB
SUnreclaim:      26816 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= 7026 MiB
End job on xenhost3-49 at 2009-06-13 23:48:04