Trace number 1780935

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) 2514.28 160.621

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_10_UNSAT.cnf
MD5SUM54c22a62e5d0a640d4ea8d185b9b1fc7
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 variables2112
Number of clauses191788
Sum of the clauses size572017
Maximum clause length11
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23595
Number of clauses of size 3188162
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data 

0.20/0.22	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780935-1244979521.cnf 
0.20/0.22	c Using SATTIMEOUT of 10000
0.20/0.22	c Using SATRAM of 2047
0.20/0.22	c Size of subset node = 16
0.20/0.22	c Variables = 2112
0.20/0.22	c Clauses = 191788
0.20/0.22	c Literals = 572017
0.20/0.22	c Reduced size:
0.20/0.22	c Variables = 2112
0.20/0.22	c Clauses = 191788
0.20/0.22	c Literals = 572017
0.20/0.22	c a2
0.50/0.57	c a1
1.30/1.30	c Independent sub-problems = 1
1.30/1.30	c Sub-problem with 2112 variables and 191788 clauses
1.30/1.30	c using permutation method 4
1.30/1.30	c count = 1
1.30/1.30	c Ordering finished 1.230 seconds
1.30/1.30	c mapped 1.290 seconds
1.30/1.30	c permuted 1.290 seconds
1.30/1.30	c about to sort
1.30/1.34	c sorted
2.48/2.53	c clauses now 191788
2.48/2.53	c init finished 1.380 seconds
2.48/2.53	c tree built 2.520 seconds
2.48/2.53	c 
2.48/2.53	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
2.48/2.53	c ---------------------------------|----------------------------------|------------------------------------------------------
2.48/2.53	c ................................ | ..........                       |                        2.5           0.0             
2.48/2.53	c ................................ | ..........                     1 |                        2.5           0.4             
2.48/2.54	c ................................ | ..........                     2 |                        2.5           0.8             
2.48/2.54	c ................................ | ..........                     3 |                        2.5           1.2             
2.48/2.54	c ................................ | ..........                     4 |                        2.5           1.6             
2.48/2.54	c ................................ | ..........                     5 |                        2.5           2.0             
2.48/2.60	c ................................ | ..........                  1000 | 17                     3.0         330.0         3677
241.93/17.81	c ................................ | ..........                315000 | 18486                200.1        1574.1     12577841
452.71/31.13	c ................................ | ..........                520000 | 31981                400.9        1297.1     25633450
656.42/43.94	c ................................ | ..........                671000 | 50576                600.4        1117.6     36756202
860.04/56.71	c ................................ | ..........                816000 | 65564                801.3        1018.4     46458758
1060.86/69.40	c ................................ | *.........                938000 | 79635               1000.9         937.1     55214132
1263.04/82.08	c ................................ | *.........               1051000 | 91579               1200.8         875.2     63755048
1465.53/94.73	c ................................ | *.........               1175000 | 102593              1401.0         838.7     71756187
1664.89/107.29	c ................................ | *.........               1286000 | 111921              1600.2         803.7     79543333
1866.13/119.87	c ................................ | *.........               1381000 | 119971              1800.2         767.2     86543842
2068.54/132.51	c ................................ | **........               1473000 | 123398              2001.0         736.1     93655024

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-1780935-1244979521/watcher-1780935-1244979521 -o /tmp/evaluation-result-1780935-1244979521/solver-1780935-1244979521 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780935-1244979521.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.81 15.37 12.81 2/184 29823
/proc/meminfo: memFree=18990092/36427776 swapFree=2984/6940
[pid=29823] ppid=29821 vsize=1540 CPUtime=0
/proc/29823/stat : 29823 (ttsth-5-0) R 29821 29823 15497 0 -1 4202496 275 0 0 0 0 0 0 0 20 0 1 0 657258443 1576960 231 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134732614 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/29823/statm: 385 231 75 177 0 207 0

[startup+0.024823 s]
/proc/loadavg: 15.81 15.37 12.81 2/184 29823
/proc/meminfo: memFree=18990092/36427776 swapFree=2984/6940
[pid=29823] ppid=29821 vsize=2464 CPUtime=0.02
/proc/29823/stat : 29823 (ttsth-5-0) R 29821 29823 15497 0 -1 4202496 506 0 0 0 2 0 0 0 20 0 1 0 657258443 2523136 462 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134732614 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/29823/statm: 616 464 75 177 0 438 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2464

[startup+0.100801 s]
/proc/loadavg: 15.81 15.37 12.81 2/184 29823
/proc/meminfo: memFree=18990092/36427776 swapFree=2984/6940
[pid=29823] ppid=29821 vsize=7232 CPUtime=0.1
/proc/29823/stat : 29823 (ttsth-5-0) R 29821 29823 15497 0 -1 4202496 1680 0 0 0 10 0 0 0 20 0 1 0 657258443 7405568 1636 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134732614 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/29823/statm: 1808 1636 75 177 0 1630 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7232

[startup+0.300859 s]
/proc/loadavg: 15.81 15.37 12.81 2/184 29823
/proc/meminfo: memFree=18990092/36427776 swapFree=2984/6940
[pid=29823] ppid=29821 vsize=25700 CPUtime=0.3
/proc/29823/stat : 29823 (ttsth-5-0) R 29821 29823 15497 0 -1 4202496 6103 0 0 0 28 2 0 0 20 0 1 0 657258443 26316800 6058 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134519986 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/29823/statm: 6425 6058 76 177 0 6247 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 25700

[startup+0.70088 s]
/proc/loadavg: 15.81 15.37 12.81 2/184 29823
/proc/meminfo: memFree=18990092/36427776 swapFree=2984/6940
[pid=29823] ppid=29821 vsize=19052 CPUtime=0.7
/proc/29823/stat : 29823 (ttsth-5-0) R 29821 29823 15497 0 -1 4202496 6628 0 0 0 66 4 0 0 20 0 1 0 657258443 19509248 4613 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134732614 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/29823/statm: 4763 4615 77 177 0 4585 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 19052

[startup+1.50094 s]
/proc/loadavg: 14.63 15.13 12.75 2/185 29824
/proc/meminfo: memFree=18962896/36427776 swapFree=4280/34212
[pid=29823] ppid=29821 vsize=46092 CPUtime=1.48
/proc/29823/stat : 29823 (ttsth-5-0) R 29821 29823 15497 0 -1 4202496 13452 0 0 0 144 4 0 0 20 0 1 0 657258443 47198208 11249 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134732614 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/29823/statm: 11523 11250 88 177 0 11345 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 46092

[startup+3.10447 s]
/proc/loadavg: 14.63 15.13 12.75 2/185 29824
/proc/meminfo: memFree=18926728/36427776 swapFree=5008/69616
[pid=29823] ppid=29821 vsize=216640 CPUtime=10.98
/proc/29823/stat : 29823 (ttsth-5-0) S 29821 29823 15497 0 -1 4202496 23572 0 0 0 532 566 0 0 20 0 17 0 657258443 221839360 21083 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29823/statm: 54160 21083 95 177 0 53982 0
Current children cumulated CPU time (s) 10.98
Current children cumulated vsize (KiB) 216640

[startup+6.30556 s]
/proc/loadavg: 14.63 15.13 12.75 17/201 29840
/proc/meminfo: memFree=18879580/36427776 swapFree=4692/117952
[pid=29823] ppid=29821 vsize=255824 CPUtime=61.01
/proc/29823/stat : 29823 (ttsth-5-0) S 29821 29823 15497 0 -1 4202496 32957 0 0 0 3139 2962 0 0 20 0 17 0 657258443 261963776 30468 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29823/statm: 63956 30469 95 177 0 63778 0
[pid=29823/tid=29825] ppid=29821 vsize=255824 CPUtime=3.74
/proc/29823/task/29825/stat : 29825 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 1125 0 0 0 360 14 0 0 20 0 17 0 657258696 261963776 30469 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29823/tid=29826] ppid=29821 vsize=255824 CPUtime=3.66
/proc/29823/task/29826/stat : 29826 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 907 0 0 0 170 196 0 0 20 0 17 0 657258696 261963776 30470 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29823/tid=29827] ppid=29821 vsize=255824 CPUtime=3.64
/proc/29823/task/29827/stat : 29827 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 618 0 0 0 172 192 0 0 20 0 17 0 657258696 261963776 30470 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29823/tid=29828] ppid=29821 vsize=255824 CPUtime=3.66
/proc/29823/task/29828/stat : 29828 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 958 0 0 0 182 184 0 0 20 0 17 0 657258696 261963776 30470 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29823/tid=29829] ppid=29821 vsize=255824 CPUtime=3.64
/proc/29823/task/29829/stat : 29829 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 858 0 0 0 162 202 0 0 20 0 17 0 657258697 261963776 30471 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29823/tid=29830] ppid=29821 vsize=255824 CPUtime=3.64
/proc/29823/task/29830/stat : 29830 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 501 0 0 0 162 202 0 0 20 0 17 0 657258697 261963776 30471 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29823/tid=29831] ppid=29821 vsize=255824 CPUtime=3.66
/proc/29823/task/29831/stat : 29831 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 871 0 0 0 160 206 0 0 20 0 17 0 657258697 261963776 30471 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29823/tid=29832] ppid=29821 vsize=255824 CPUtime=3.66
/proc/29823/task/29832/stat : 29832 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 475 0 0 0 170 196 0 0 20 0 17 0 657258697 261963776 30471 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29823/tid=29833] ppid=29821 vsize=255824 CPUtime=3.66
/proc/29823/task/29833/stat : 29833 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 458 0 0 0 172 194 0 0 20 0 17 0 657258697 261963776 30471 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29823/tid=29834] ppid=29821 vsize=255824 CPUtime=3.62
/proc/29823/task/29834/stat : 29834 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 811 0 0 0 170 192 0 0 20 0 17 0 657258697 261963776 30471 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29823/tid=29835] ppid=29821 vsize=255824 CPUtime=3.62
/proc/29823/task/29835/stat : 29835 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 646 0 0 0 134 228 0 0 20 0 17 0 657258697 261963776 30472 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29823/tid=29836] ppid=29821 vsize=255824 CPUtime=3.62
/proc/29823/task/29836/stat : 29836 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 656 0 0 0 172 190 0 0 20 0 17 0 657258697 261963776 30472 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29823/tid=29837] ppid=29821 vsize=255824 CPUtime=3.58
/proc/29823/task/29837/stat : 29837 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 712 0 0 0 168 190 0 0 20 0 17 0 657258697 261963776 30472 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29823/tid=29838] ppid=29821 vsize=255824 CPUtime=3.64
/proc/29823/task/29838/stat : 29838 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 683 0 0 0 190 174 0 0 20 0 17 0 657258697 261963776 30472 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29823/tid=29839] ppid=29821 vsize=255824 CPUtime=3.64
/proc/29823/task/29839/stat : 29839 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 725 0 0 0 182 182 0 0 20 0 17 0 657258697 261963776 30472 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29823/tid=29840] ppid=29821 vsize=255824 CPUtime=3.62
/proc/29823/task/29840/stat : 29840 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 489 0 0 0 160 202 0 0 20 0 17 0 657258697 261963776 30472 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 61.01
Current children cumulated vsize (KiB) 255824

[startup+12.7048 s]
/proc/loadavg: 14.76 15.14 12.78 17/201 29840
/proc/meminfo: memFree=18791984/36427776 swapFree=4692/205624
[pid=29823] ppid=29821 vsize=351088 CPUtime=161.42
/proc/29823/stat : 29823 (ttsth-5-0) S 29821 29823 15497 0 -1 4202496 55324 0 0 0 9857 6285 0 0 20 0 17 0 657258443 359514112 52836 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29823/statm: 87772 52836 95 177 0 87594 0
[pid=29823/tid=29825] ppid=29821 vsize=351088 CPUtime=10.12
/proc/29823/task/29825/stat : 29825 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 3172 0 0 0 996 16 0 0 20 0 17 0 657258696 359514112 52836 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134549905 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29823/tid=29826] ppid=29821 vsize=351088 CPUtime=9.94
/proc/29823/task/29826/stat : 29826 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 2585 0 0 0 596 398 0 0 20 0 17 0 657258696 359514112 52837 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29823/tid=29827] ppid=29821 vsize=351088 CPUtime=9.9
/proc/29823/task/29827/stat : 29827 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 1751 0 0 0 566 424 0 0 20 0 17 0 657258696 359514112 52837 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29823/tid=29828] ppid=29821 vsize=351088 CPUtime=9.96
/proc/29823/task/29828/stat : 29828 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 3207 0 0 0 614 382 0 0 20 0 17 0 657258696 359514112 52837 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29823/tid=29829] ppid=29821 vsize=351088 CPUtime=9.92
/proc/29823/task/29829/stat : 29829 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 2122 0 0 0 558 434 0 0 20 0 17 0 657258697 359514112 52837 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29823/tid=29830] ppid=29821 vsize=351088 CPUtime=9.9
/proc/29823/task/29830/stat : 29830 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 1318 0 0 0 566 424 0 0 20 0 17 0 657258697 359514112 52837 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134590150 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29823/tid=29831] ppid=29821 vsize=351088 CPUtime=9.94
/proc/29823/task/29831/stat : 29831 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 3521 0 0 0 566 428 0 0 20 0 17 0 657258697 359514112 52837 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29823/tid=29832] ppid=29821 vsize=351088 CPUtime=9.96
/proc/29823/task/29832/stat : 29832 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 1412 0 0 0 574 422 0 0 20 0 17 0 657258697 359514112 52837 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29823/tid=29833] ppid=29821 vsize=351088 CPUtime=9.98
/proc/29823/task/29833/stat : 29833 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 1270 0 0 0 568 430 0 0 20 0 17 0 657258697 359514112 52837 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29823/tid=29834] ppid=29821 vsize=351088 CPUtime=9.88
/proc/29823/task/29834/stat : 29834 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 2434 0 0 0 566 422 0 0 20 0 17 0 657258697 359514112 52837 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29823/tid=29835] ppid=29821 vsize=351088 CPUtime=9.88
/proc/29823/task/29835/stat : 29835 (ttsth-5-0) S 29821 29823 15497 0 -1 4202560 2073 0 0 0 518 470 0 0 20 0 17 0 657258697 359514112 52838 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=29823/tid=29836] ppid=29821 vsize=351088 CPUtime=9.9
/proc/29823/task/29836/stat : 29836 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 1545 0 0 0 586 404 0 0 20 0 17 0 657258697 359514112 52838 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29823/tid=29837] ppid=29821 vsize=351088 CPUtime=9.72
/proc/29823/task/29837/stat : 29837 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 1809 0 0 0 566 406 0 0 20 0 17 0 657258697 359514112 52838 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29823/tid=29838] ppid=29821 vsize=351088 CPUtime=9.92
/proc/29823/task/29838/stat : 29838 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 1841 0 0 0 596 396 0 0 20 0 17 0 657258697 359514112 52838 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29823/tid=29839] ppid=29821 vsize=351088 CPUtime=9.92
/proc/29823/task/29839/stat : 29839 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 2103 0 0 0 596 396 0 0 20 0 17 0 657258697 359514112 52838 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134680326 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29823/tid=29840] ppid=29821 vsize=351088 CPUtime=9.9
/proc/29823/task/29840/stat : 29840 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 1697 0 0 0 574 416 0 0 20 0 17 0 657258697 359514112 52838 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 161.42
Current children cumulated vsize (KiB) 351088

[startup+25.5013 s]
/proc/loadavg: 14.95 15.17 12.81 17/201 29840
/proc/meminfo: memFree=18583268/36427776 swapFree=4692/415692
[pid=29823] ppid=29821 vsize=568316 CPUtime=363.81
/proc/29823/stat : 29823 (ttsth-5-0) S 29821 29823 15497 0 -1 4202496 106066 0 0 0 27458 8923 0 0 20 0 17 0 657258443 581955584 103577 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29823/statm: 142079 103579 95 177 0 141901 0
[pid=29823/tid=29825] ppid=29821 vsize=568316 CPUtime=22.92
/proc/29823/task/29825/stat : 29825 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 5841 0 0 0 2270 22 0 0 20 0 17 0 657258696 581955584 103580 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29823/tid=29826] ppid=29821 vsize=568316 CPUtime=22.66
/proc/29823/task/29826/stat : 29826 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 5023 0 0 0 1706 560 0 0 20 0 17 0 657258696 581955584 103580 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29823/tid=29827] ppid=29821 vsize=568316 CPUtime=22.56
/proc/29823/task/29827/stat : 29827 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 5923 0 0 0 1654 602 0 0 20 0 17 0 657258696 581955584 103580 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29823/tid=29828] ppid=29821 vsize=568316 CPUtime=22.66
/proc/29823/task/29828/stat : 29828 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 7717 0 0 0 1734 532 0 0 20 0 17 0 657258696 581955584 103580 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29823/tid=29829] ppid=29821 vsize=568316 CPUtime=22.58
/proc/29823/task/29829/stat : 29829 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 5070 0 0 0 1654 604 0 0 20 0 17 0 657258697 581955584 103580 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29823/tid=29830] ppid=29821 vsize=568316 CPUtime=22.56
/proc/29823/task/29830/stat : 29830 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 3243 0 0 0 1660 596 0 0 20 0 17 0 657258697 581955584 103580 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29823/tid=29831] ppid=29821 vsize=568316 CPUtime=22.62
/proc/29823/task/29831/stat : 29831 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 10705 0 0 0 1676 586 0 0 20 0 17 0 657258697 581955584 103581 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29823/tid=29832] ppid=29821 vsize=568316 CPUtime=22.64
/proc/29823/task/29832/stat : 29832 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 3953 0 0 0 1662 602 0 0 20 0 17 0 657258697 581955584 103581 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29823/tid=29833] ppid=29821 vsize=568316 CPUtime=22.66
/proc/29823/task/29833/stat : 29833 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 4178 0 0 0 1660 606 0 0 20 0 17 0 657258697 581955584 103582 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29823/tid=29834] ppid=29821 vsize=568316 CPUtime=22.56
/proc/29823/task/29834/stat : 29834 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 5737 0 0 0 1662 594 0 0 20 0 17 0 657258697 581955584 103582 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29823/tid=29835] ppid=29821 vsize=568316 CPUtime=22.52
/proc/29823/task/29835/stat : 29835 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 5282 0 0 0 1598 654 0 0 20 0 17 0 657258697 581955584 103582 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134749343 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29823/tid=29836] ppid=29821 vsize=568316 CPUtime=22.54
/proc/29823/task/29836/stat : 29836 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 5519 0 0 0 1680 574 0 0 20 0 17 0 657258697 581955584 103582 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29823/tid=29837] ppid=29821 vsize=568316 CPUtime=22.1
/proc/29823/task/29837/stat : 29837 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 3951 0 0 0 1624 586 0 0 20 0 17 0 657258697 581955584 103582 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29823/tid=29838] ppid=29821 vsize=568316 CPUtime=22.58
/proc/29823/task/29838/stat : 29838 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 4318 0 0 0 1682 576 0 0 20 0 17 0 657258697 581955584 103582 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29823/tid=29839] ppid=29821 vsize=568316 CPUtime=22.54
/proc/29823/task/29839/stat : 29839 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 4315 0 0 0 1664 590 0 0 20 0 17 0 657258697 581955584 103582 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134680282 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29823/tid=29840] ppid=29821 vsize=568316 CPUtime=22.46
/proc/29823/task/29840/stat : 29840 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 3828 0 0 0 1622 624 0 0 20 0 17 0 657258697 581955584 103583 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 363.81
Current children cumulated vsize (KiB) 568316

[startup+51.1054 s]
/proc/loadavg: 15.36 15.25 12.91 17/201 29840
/proc/meminfo: memFree=18213244/36427776 swapFree=4692/785296
[pid=29823] ppid=29821 vsize=960500 CPUtime=770.91
/proc/29823/stat : 29823 (ttsth-5-0) S 29821 29823 15497 0 -1 4202496 198323 0 0 0 66666 10425 0 0 20 0 17 0 657258443 983552000 195834 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29823/statm: 240125 195834 95 177 0 239947 0
[pid=29823/tid=29825] ppid=29821 vsize=960500 CPUtime=48.51
/proc/29823/task/29825/stat : 29825 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 11447 0 0 0 4819 32 0 0 20 0 17 0 657258696 983552000 195834 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29823/tid=29826] ppid=29821 vsize=960500 CPUtime=48.17
/proc/29823/task/29826/stat : 29826 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 16128 0 0 0 4193 624 0 0 20 0 17 0 657258696 983552000 195834 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29823/tid=29827] ppid=29821 vsize=960500 CPUtime=48
/proc/29823/task/29827/stat : 29827 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 9939 0 0 0 4082 718 0 0 20 0 17 0 657258696 983552000 195834 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29823/tid=29828] ppid=29821 vsize=960500 CPUtime=48.19
/proc/29823/task/29828/stat : 29828 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 13988 0 0 0 4197 622 0 0 20 0 17 0 657258696 983552000 195834 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29823/tid=29829] ppid=29821 vsize=960500 CPUtime=48.04
/proc/29823/task/29829/stat : 29829 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 10897 0 0 0 4088 716 0 0 20 0 17 0 657258697 983552000 195834 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29823/tid=29830] ppid=29821 vsize=960500 CPUtime=47.98
/proc/29823/task/29830/stat : 29830 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 5900 0 0 0 4088 710 0 0 20 0 17 0 657258697 983552000 195834 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29823/tid=29831] ppid=29821 vsize=960500 CPUtime=48.12
/proc/29823/task/29831/stat : 29831 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 22344 0 0 0 4120 692 0 0 20 0 17 0 657258697 983552000 195834 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29823/tid=29832] ppid=29821 vsize=960500 CPUtime=48.13
/proc/29823/task/29832/stat : 29832 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 8912 0 0 0 4101 712 0 0 20 0 17 0 657258697 983552000 195834 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29823/tid=29833] ppid=29821 vsize=960500 CPUtime=48.12
/proc/29823/task/29833/stat : 29833 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 8832 0 0 0 4112 700 0 0 20 0 17 0 657258697 983552000 195834 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29823/tid=29834] ppid=29821 vsize=960500 CPUtime=48.01
/proc/29823/task/29834/stat : 29834 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 10226 0 0 0 4093 708 0 0 20 0 17 0 657258697 983552000 195834 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29823/tid=29835] ppid=29821 vsize=960500 CPUtime=48
/proc/29823/task/29835/stat : 29835 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 10911 0 0 0 4052 748 0 0 20 0 17 0 657258697 983552000 195834 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29823/tid=29836] ppid=29821 vsize=960500 CPUtime=48.04
/proc/29823/task/29836/stat : 29836 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 12935 0 0 0 4144 660 0 0 20 0 17 0 657258697 983552000 195834 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134590150 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29823/tid=29837] ppid=29821 vsize=960500 CPUtime=47.03
/proc/29823/task/29837/stat : 29837 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 7404 0 0 0 4023 680 0 0 20 0 17 0 657258697 983552000 195834 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29823/tid=29838] ppid=29821 vsize=960500 CPUtime=48.01
/proc/29823/task/29838/stat : 29838 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 9499 0 0 0 4109 692 0 0 20 0 17 0 657258697 983552000 195834 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29823/tid=29839] ppid=29821 vsize=960500 CPUtime=48.06
/proc/29823/task/29839/stat : 29839 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 8901 0 0 0 4134 672 0 0 20 0 17 0 657258697 983552000 195834 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29823/tid=29840] ppid=29821 vsize=960500 CPUtime=47.87
/proc/29823/task/29840/stat : 29840 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 8593 0 0 0 4065 722 0 0 20 0 17 0 657258697 983552000 195834 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 770.91
Current children cumulated vsize (KiB) 960500

[startup+102.317 s]
/proc/loadavg: 15.72 15.36 13.07 17/201 29845
/proc/meminfo: memFree=17659156/36427776 swapFree=4692/1336788
[pid=29823] ppid=29821 vsize=1547568 CPUtime=1586.93
/proc/29823/stat : 29823 (ttsth-5-0) S 29821 29823 15497 0 -1 4202496 335490 0 0 0 146507 12186 0 0 20 0 17 0 657258443 1584709632 333001 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29823/statm: 386892 333002 95 177 0 386714 0
[pid=29823/tid=29825] ppid=29821 vsize=1547568 CPUtime=99.71
/proc/29823/task/29825/stat : 29825 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 18585 0 0 0 9919 52 0 0 20 0 17 0 657258696 1584709632 333002 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29823/tid=29826] ppid=29821 vsize=1547568 CPUtime=99.26
/proc/29823/task/29826/stat : 29826 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 26962 0 0 0 9204 722 0 0 20 0 17 0 657258696 1584709632 333002 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29823/tid=29827] ppid=29821 vsize=1547568 CPUtime=99.04
/proc/29823/task/29827/stat : 29827 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 16184 0 0 0 9078 826 0 0 20 0 17 0 657258696 1584709632 333002 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29823/tid=29828] ppid=29821 vsize=1547568 CPUtime=99.26
/proc/29823/task/29828/stat : 29828 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 24518 0 0 0 9176 750 0 0 20 0 17 0 657258696 1584709632 333002 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29823/tid=29829] ppid=29821 vsize=1547568 CPUtime=99.1
/proc/29823/task/29829/stat : 29829 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 19116 0 0 0 9078 832 0 0 20 0 17 0 657258697 1584709632 333003 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29823/tid=29830] ppid=29821 vsize=1547568 CPUtime=99.02
/proc/29823/task/29830/stat : 29830 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 11111 0 0 0 9068 834 0 0 20 0 17 0 657258697 1584709632 333003 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29823/tid=29831] ppid=29821 vsize=1547568 CPUtime=99.19
/proc/29823/task/29831/stat : 29831 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 41711 0 0 0 9101 818 0 0 20 0 17 0 657258697 1584709632 333003 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29823/tid=29832] ppid=29821 vsize=1547568 CPUtime=99.21
/proc/29823/task/29832/stat : 29832 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 17053 0 0 0 9105 816 0 0 20 0 17 0 657258697 1584709632 333003 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29823/tid=29833] ppid=29821 vsize=1547568 CPUtime=99.23
/proc/29823/task/29833/stat : 29833 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 15024 0 0 0 9123 800 0 0 20 0 17 0 657258697 1584709632 333003 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29823/tid=29834] ppid=29821 vsize=1547568 CPUtime=99.01
/proc/29823/task/29834/stat : 29834 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 17465 0 0 0 9067 834 0 0 20 0 17 0 657258697 1584709632 333003 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29823/tid=29835] ppid=29821 vsize=1547568 CPUtime=99.06
/proc/29823/task/29835/stat : 29835 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 19010 0 0 0 9044 862 0 0 20 0 17 0 657258697 1584709632 333004 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29823/tid=29836] ppid=29821 vsize=1547568 CPUtime=99.08
/proc/29823/task/29836/stat : 29836 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 20508 0 0 0 9118 790 0 0 20 0 17 0 657258697 1584709632 333004 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29823/tid=29837] ppid=29821 vsize=1547568 CPUtime=97.07
/proc/29823/task/29837/stat : 29837 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 15948 0 0 0 8911 796 0 0 20 0 17 0 657258697 1584709632 333004 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134680374 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29823/tid=29838] ppid=29821 vsize=1547568 CPUtime=99.03
/proc/29823/task/29838/stat : 29838 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 18794 0 0 0 9083 820 0 0 20 0 17 0 657258697 1584709632 333004 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29823/tid=29839] ppid=29821 vsize=1547568 CPUtime=99.09
/proc/29823/task/29839/stat : 29839 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 16777 0 0 0 9125 784 0 0 20 0 17 0 657258697 1584709632 333004 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29823/tid=29840] ppid=29821 vsize=1547568 CPUtime=98.89
/proc/29823/task/29840/stat : 29840 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 15259 0 0 0 9055 834 0 0 20 0 17 0 657258697 1584709632 333004 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1586.93
Current children cumulated vsize (KiB) 1547568



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+160.404 s]
/proc/loadavg: 15.89 15.47 13.24 17/201 29845
/proc/meminfo: memFree=17141084/36427776 swapFree=4692/1854196
[pid=29823] ppid=29821 vsize=2096344 CPUtime=2513.98
/proc/29823/stat : 29823 (ttsth-5-0) S 29821 29823 15497 0 -1 4202496 464342 0 0 0 238130 13268 0 0 20 0 17 0 657258443 2146656256 461853 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29823/statm: 524086 461853 95 177 0 523908 0
[pid=29823/tid=29825] ppid=29821 vsize=2096344 CPUtime=157.8
/proc/29823/task/29825/stat : 29825 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 26451 0 0 0 15708 72 0 0 20 0 17 0 657258696 2146656256 461853 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29823/tid=29826] ppid=29821 vsize=2096344 CPUtime=157.3
/proc/29823/task/29826/stat : 29826 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 34164 0 0 0 14942 788 0 0 20 0 17 0 657258696 2146656256 461853 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29823/tid=29827] ppid=29821 vsize=2096344 CPUtime=157.02
/proc/29823/task/29827/stat : 29827 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 22255 0 0 0 14812 890 0 0 20 0 17 0 657258696 2146656256 461853 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29823/tid=29828] ppid=29821 vsize=2096344 CPUtime=157.26
/proc/29823/task/29828/stat : 29828 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 35637 0 0 0 14898 828 0 0 20 0 17 0 657258696 2146656256 461853 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134562320 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29823/tid=29829] ppid=29821 vsize=2096344 CPUtime=157.11
/proc/29823/task/29829/stat : 29829 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 26815 0 0 0 14809 902 0 0 20 0 17 0 657258697 2146656256 461853 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29823/tid=29830] ppid=29821 vsize=2096344 CPUtime=157.01
/proc/29823/task/29830/stat : 29830 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 16174 0 0 0 14797 904 0 0 20 0 17 0 657258697 2146656256 461853 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134680208 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29823/tid=29831] ppid=29821 vsize=2096344 CPUtime=157.21
/proc/29823/task/29831/stat : 29831 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 54435 0 0 0 14825 896 0 0 20 0 17 0 657258697 2146656256 461853 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29823/tid=29832] ppid=29821 vsize=2096344 CPUtime=157.23
/proc/29823/task/29832/stat : 29832 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 24798 0 0 0 14835 888 0 0 20 0 17 0 657258697 2146656256 461853 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29823/tid=29833] ppid=29821 vsize=2096344 CPUtime=157.22
/proc/29823/task/29833/stat : 29833 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 20601 0 0 0 14854 868 0 0 20 0 17 0 657258697 2146656256 461853 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29823/tid=29834] ppid=29821 vsize=2096344 CPUtime=157
/proc/29823/task/29834/stat : 29834 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 26584 0 0 0 14786 914 0 0 20 0 17 0 657258697 2146656256 461853 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29823/tid=29835] ppid=29821 vsize=2096344 CPUtime=157.09
/proc/29823/task/29835/stat : 29835 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 24754 0 0 0 14775 934 0 0 20 0 17 0 657258697 2146656256 461853 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29823/tid=29836] ppid=29821 vsize=2096344 CPUtime=157.08
/proc/29823/task/29836/stat : 29836 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 34492 0 0 0 14858 850 0 0 20 0 17 0 657258697 2146656256 461853 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134562405 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29823/tid=29837] ppid=29821 vsize=2096344 CPUtime=153.94
/proc/29823/task/29837/stat : 29837 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 22461 0 0 0 14536 858 0 0 20 0 17 0 657258697 2146656256 461853 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134590180 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29823/tid=29838] ppid=29821 vsize=2096344 CPUtime=157.02
/proc/29823/task/29838/stat : 29838 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 27323 0 0 0 14802 900 0 0 20 0 17 0 657258697 2146656256 461853 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29823/tid=29839] ppid=29821 vsize=2096344 CPUtime=157.09
/proc/29823/task/29839/stat : 29839 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 24374 0 0 0 14849 860 0 0 20 0 17 0 657258697 2146656256 461853 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29823/tid=29840] ppid=29821 vsize=2096344 CPUtime=156.87
/proc/29823/task/29840/stat : 29840 (ttsth-5-0) R 29821 29823 15497 0 -1 4202560 21557 0 0 0 14787 900 0 0 20 0 17 0 657258697 2146656256 461853 18446744073709551615 134512640 135237372 4290636464 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2513.98
Current children cumulated vsize (KiB) 2096344

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

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

[startup+160.614 s]
/proc/loadavg: 15.89 15.47 13.24 2/187 29846
/proc/meminfo: memFree=17758244/36427776 swapFree=4692/1233356
[pid=29823] ppid=29821 vsize=0 CPUtime=2514.28
/proc/29823/stat : 29823 (ttsth-5-0) Z 29821 29823 15497 0 -1 4203532 464360 0 0 0 238139 13289 0 0 20 0 2 0 657258443 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/29823/statm: 0 0 0 0 0 0 0
[pid=29823/tid=29840] ppid=29821 vsize=0 CPUtime=157.07
/proc/29823/task/29840/stat : 29840 (ttsth-5-0) R 29821 29823 15497 0 -1 4203588 21557 0 0 0 14787 920 0 0 20 0 2 0 657258697 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2514.28
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 160.621
CPU time (s): 2514.28
CPU user time (s): 2381.4
CPU system time (s): 132.876
CPU usage (%): 1565.35
Max. virtual memory (cumulated for all children) (KiB): 2096344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2381.4
system time used= 132.876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 464360
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= 116668
involuntary context switches= 5199

runsolver used 0.788049 second user time and 2.35615 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 13:38:41
IDJOB=1780935
IDBENCH=71080
IDSOLVER=634
FILE ID=xenhost3-49/1780935-1244979521
PBS_JOBID=
Free space on /tmp= 7020 MiB

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

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

MD5SUM BENCH= 54c22a62e5d0a640d4ea8d185b9b1fc7
RANDOM SEED= 1115205150

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:      18990092 kB
Buffers:        524804 kB
Cached:       14120472 kB
SwapCached:          0 kB
Active:        4170572 kB
Inactive:     10482992 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            3332 kB
Writeback:           0 kB
AnonPages:        6940 kB
Mapped:           2984 kB
Slab:           733580 kB
SReclaimable:   706704 kB
SUnreclaim:      26876 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29736 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7020 MiB
End job on xenhost3-49 at 2009-06-14 13:41:23